その国家間がコンドルだしそれにそれは面白おかしい
fact1: もし「その国家間は折り鶴である」ということは事実だとすればそれは弱い fact2: 「その国家間は面白おかしいしかつそれは凌駕する」ということは本当だ fact3: 仮にその国家間が処分するなら態とらしい fact4: なにがしかの物は態とらしくないとすると「それはコンドルであるし面白おかしい」ということは誤りだ fact5: 「その国家間は態とらしい」ということは成り立つ fact6: もしその交流学級が尽力すとすると受け渡す fact7: その国家間は凌駕する fact8: あの濃緑はコンドルである fact9: 格好良いものは態とらしい fact10: 折り鶴はコンドルだ fact11: コンドルは態とらしい fact12: その国家間は態とらしいし折り鶴だ
fact12 -> int1: その国家間は折り鶴である; fact10 -> int2: 仮にその国家間は折り鶴であるとするとコンドルである; int1 & int2 -> int3: その国家間はコンドルである; fact2 -> int4: その国家間は面白おかしい; int3 & int4 -> hypothesis;
fact12 -> int1: {B}{a}; fact10 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact2 -> int4: {D}{a}; int3 & int4 -> hypothesis;
「その国家間がコンドルだしおまけに面白おかしい」ということは嘘だ
fact13 -> int5: その国家間は態とらしくないとすれば「それはコンドルでかつそれは面白おかしい」ということは誤っている;
$facts$ = fact1: もし「その国家間は折り鶴である」ということは事実だとすればそれは弱い fact2: 「その国家間は面白おかしいしかつそれは凌駕する」ということは本当だ fact3: 仮にその国家間が処分するなら態とらしい fact4: なにがしかの物は態とらしくないとすると「それはコンドルであるし面白おかしい」ということは誤りだ fact5: 「その国家間は態とらしい」ということは成り立つ fact6: もしその交流学級が尽力すとすると受け渡す fact7: その国家間は凌駕する fact8: あの濃緑はコンドルである fact9: 格好良いものは態とらしい fact10: 折り鶴はコンドルだ fact11: コンドルは態とらしい fact12: その国家間は態とらしいし折り鶴だ ; $hypothesis$ = その国家間がコンドルだしそれにそれは面白おかしい ; $proof$ = 
fact12 -> int1: その国家間は折り鶴である; fact10 -> int2: 仮にその国家間は折り鶴であるとするとコンドルである; int1 & int2 -> int3: その国家間はコンドルである; fact2 -> int4: その国家間は面白おかしい; int3 & int4 -> hypothesis; __PROVED__
事実1: もし「その国家間は折り鶴である」ということは事実だとすればそれは弱い
事実2: 「その国家間は面白おかしいしかつそれは凌駕する」ということは本当だ
事実3: 仮にその国家間が処分するなら態とらしい
事実4: なにがしかの物は態とらしくないとすると「それはコンドルであるし面白おかしい」ということは誤りだ
事実5: 「その国家間は態とらしい」ということは成り立つ
事実6: もしその交流学級が尽力すとすると受け渡す
事実7: その国家間は凌駕する
事実8: あの濃緑はコンドルである
事実9: 格好良いものは態とらしい
事実10: 折り鶴はコンドルだ
事実11: コンドルは態とらしい
事実12: その国家間は態とらしいし折り鶴だ

仮説: その国家間がコンドルだしそれにそれは面白おかしい
1. 事実12から、推論1: "その国家間は折り鶴である"が導かれる
2. 事実10から、推論2: "仮にその国家間は折り鶴であるとするとコンドルである"が導かれる
3. 推論1と推論2から、推論3: "その国家間はコンドルである"が導かれる
4. 事実2から、推論4: "その国家間は面白おかしい"が導かれる
5. 推論3と推論4から、仮説が導かれる

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