ダレか次の演繹図式をかぃてほしぃんですけど・・・
�@A⇒Bト¬B⇒¬A
�AA⇒B,B⇒CトA⇒C

ちなみに『ト』って書ぃてぁるのはホントゎ記号なんですけど意味がゎかんなくて変換できませんでした↓