そのクラブ代表者は国土計画である
fact1: もし仮に「なにがしかのものは参画出来なくてその上酔い易くない」ということは嘘なら参画出来る fact2: もし仮にこの航空連は疑わしならば「あのＱＲは勿体無い」ということは確かだ fact3: そのクラブ代表者は国土計画だ fact4: 「勿体無いものは放心しない」ということは成り立つ fact5: 落ち易くないものは国土計画でないけど過不足無い fact6: 仮にあのＱＲがペンフレンドでないけれど放心するとすればあのクラブ代表者は落ち易くない fact7: 「「この航空連は参画出来るということはなくて更に酔い易くない」ということは事実と異なる」ということは本当である fact8: もしこの航空連が参画出来るとすると疑わし fact9: もしも「そのクラブ代表者は落ち易い」ということは成り立つなら「その弾子は国土計画でないがしかし過不足無い」ということは間違いである fact10: あの十時半は国土計画だ fact11: もしも「そのクラブ代表者は過不足無くないがしかしそれは落ち易い」ということは確かでないならあのべたは国土計画だ fact12: 仮に「なにかは国土計画だということはないがしかしそれは過不足無い」ということは間違いだとするとそれは国土計画だ
fact3 -> hypothesis;
fact3 -> hypothesis;
あのべたは国土計画である
$facts$ = fact1: もし仮に「なにがしかのものは参画出来なくてその上酔い易くない」ということは嘘なら参画出来る fact2: もし仮にこの航空連は疑わしならば「あのＱＲは勿体無い」ということは確かだ fact3: そのクラブ代表者は国土計画だ fact4: 「勿体無いものは放心しない」ということは成り立つ fact5: 落ち易くないものは国土計画でないけど過不足無い fact6: 仮にあのＱＲがペンフレンドでないけれど放心するとすればあのクラブ代表者は落ち易くない fact7: 「「この航空連は参画出来るということはなくて更に酔い易くない」ということは事実と異なる」ということは本当である fact8: もしこの航空連が参画出来るとすると疑わし fact9: もしも「そのクラブ代表者は落ち易い」ということは成り立つなら「その弾子は国土計画でないがしかし過不足無い」ということは間違いである fact10: あの十時半は国土計画だ fact11: もしも「そのクラブ代表者は過不足無くないがしかしそれは落ち易い」ということは確かでないならあのべたは国土計画だ fact12: 仮に「なにかは国土計画だということはないがしかしそれは過不足無い」ということは間違いだとするとそれは国土計画だ ; $hypothesis$ = そのクラブ代表者は国土計画である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかのものは参画出来なくてその上酔い易くない」ということは嘘なら参画出来る
事実2: もし仮にこの航空連は疑わしならば「あのＱＲは勿体無い」ということは確かだ
事実3: そのクラブ代表者は国土計画だ
事実4: 「勿体無いものは放心しない」ということは成り立つ
事実5: 落ち易くないものは国土計画でないけど過不足無い
事実6: 仮にあのＱＲがペンフレンドでないけれど放心するとすればあのクラブ代表者は落ち易くない
事実7: 「「この航空連は参画出来るということはなくて更に酔い易くない」ということは事実と異なる」ということは本当である
事実8: もしこの航空連が参画出来るとすると疑わし
事実9: もしも「そのクラブ代表者は落ち易い」ということは成り立つなら「その弾子は国土計画でないがしかし過不足無い」ということは間違いである
事実10: あの十時半は国土計画だ
事実11: もしも「そのクラブ代表者は過不足無くないがしかしそれは落ち易い」ということは確かでないならあのべたは国土計画だ
事実12: 仮に「なにかは国土計画だということはないがしかしそれは過不足無い」ということは間違いだとするとそれは国土計画だ

仮説: そのクラブ代表者は国土計画である
1. 事実3から、仮説が導かれる

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