「あの窓パネルは禁圧する」ということは確かだ
fact1: この常務理事は決さないしまた名将でない fact2: あの女性弁護士は提言しないとしたら「それはシステム化するしかつそれはローマン・グラスだ」ということは事実と異なる fact3: 仮に「その給油係は決さないしおまけにそれは御札だということはない」ということは確かだとすればあの窓パネルは決さない fact4: 尽くし難くないものは決さないしおまけに御札でない fact5: もし「この常務理事は禁圧するし加えて名将だ」ということは事実と異なるとしたらこの両側Ｔ検定は禁圧しない fact6: あの窓パネルは決さないとしたら「この常務理事は禁圧するしかつ名将である」ということは確かでない fact7: もしも「この常務理事は決さない」ということは正しいとしたらあの窓パネルは禁圧する
fact1 -> int1: この常務理事は決すということはない; int1 & fact7 -> hypothesis;
fact1 -> int1: ¬{A}{a}; int1 & fact7 -> hypothesis;
この両側Ｔ検定は禁圧しない
fact11 -> int2: もし仮にその給油係が尽くし難くないとすれば決さないしそれは御札でない;
$facts$ = fact1: この常務理事は決さないしまた名将でない fact2: あの女性弁護士は提言しないとしたら「それはシステム化するしかつそれはローマン・グラスだ」ということは事実と異なる fact3: 仮に「その給油係は決さないしおまけにそれは御札だということはない」ということは確かだとすればあの窓パネルは決さない fact4: 尽くし難くないものは決さないしおまけに御札でない fact5: もし「この常務理事は禁圧するし加えて名将だ」ということは事実と異なるとしたらこの両側Ｔ検定は禁圧しない fact6: あの窓パネルは決さないとしたら「この常務理事は禁圧するしかつ名将である」ということは確かでない fact7: もしも「この常務理事は決さない」ということは正しいとしたらあの窓パネルは禁圧する ; $hypothesis$ = 「あの窓パネルは禁圧する」ということは確かだ ; $proof$ = 
fact1 -> int1: この常務理事は決すということはない; int1 & fact7 -> hypothesis; __PROVED__
事実1: この常務理事は決さないしまた名将でない
事実2: あの女性弁護士は提言しないとしたら「それはシステム化するしかつそれはローマン・グラスだ」ということは事実と異なる
事実3: 仮に「その給油係は決さないしおまけにそれは御札だということはない」ということは確かだとすればあの窓パネルは決さない
事実4: 尽くし難くないものは決さないしおまけに御札でない
事実5: もし「この常務理事は禁圧するし加えて名将だ」ということは事実と異なるとしたらこの両側Ｔ検定は禁圧しない
事実6: あの窓パネルは決さないとしたら「この常務理事は禁圧するしかつ名将である」ということは確かでない
事実7: もしも「この常務理事は決さない」ということは正しいとしたらあの窓パネルは禁圧する

仮説: 「あの窓パネルは禁圧する」ということは確かだ
1. 事実1から、推論1: "この常務理事は決すということはない"が導かれる
2. 推論1と事実7から、仮説が導かれる

よって、仮説が証明されました。