あの時流はフィブロネクチンだ
fact1: 仮に「あの日本兵はすこくないけれど生命現象である」ということは成り立たないとするとあの時流はすこい fact2: もしもその保安上がすこくないがそれがフィブロネクチンであるとするとあの日本兵は生命現象である fact3: その保安上は刻むということはないけどそれはフィブロネクチンだ fact4: 仮にあの日本兵が総合するとすればあの時流はすこい fact5: もしもその保安上がすこいとすればあの日本兵は生命現象である fact6: 「「その保安上は総合する」ということは成り立つならあの日本兵は生命現象だ」ということは真実だ fact7: あの草葺き屋根はすこい fact8: もしその保安上が生命現象だとしたらあの時流はフィブロネクチンだ fact9: あの日本兵は総合しない fact10: 「この列情報はフィブロネクチンである」ということは成り立つ fact11: あの時流はすこい fact12: あの日本兵はすこい fact13: あの時流は生命現象だ fact14: その保安上は総合する fact15: あの日本兵は教育事業でない fact16: もし仮にあの日本兵が総合しないがしかしすこいとしたらその保安上は生命現象だ fact17: あの日本兵はフィブロネクチンである fact18: その保安上は大型前方後円墳だしその上頑是無い fact19: もしもあの時流が総合するとするとあの日本兵はフィブロネクチンである fact20: その保安上はすこくないけれどそれは存じ奉る fact21: もし仮にあの日本兵が生命現象であるとするとその保安上は総合する fact22: あの日本兵は見縊る
fact9 & fact12 -> int1: あの日本兵は総合するということはないがすこい; int1 & fact16 -> int2: その保安上は生命現象だ; int2 & fact8 -> hypothesis;
あの時流はフィブロネクチンでない
fact24 -> int3: その保安上は大型前方後円墳である; int3 -> int4: とあるものは大型前方後円墳である;
$facts$ = fact1: 仮に「あの日本兵はすこくないけれど生命現象である」ということは成り立たないとするとあの時流はすこい fact2: もしもその保安上がすこくないがそれがフィブロネクチンであるとするとあの日本兵は生命現象である fact3: その保安上は刻むということはないけどそれはフィブロネクチンだ fact4: 仮にあの日本兵が総合するとすればあの時流はすこい fact5: もしもその保安上がすこいとすればあの日本兵は生命現象である fact6: 「「その保安上は総合する」ということは成り立つならあの日本兵は生命現象だ」ということは真実だ fact7: あの草葺き屋根はすこい fact8: もしその保安上が生命現象だとしたらあの時流はフィブロネクチンだ fact9: あの日本兵は総合しない fact10: 「この列情報はフィブロネクチンである」ということは成り立つ fact11: あの時流はすこい fact12: あの日本兵はすこい fact13: あの時流は生命現象だ fact14: その保安上は総合する fact15: あの日本兵は教育事業でない fact16: もし仮にあの日本兵が総合しないがしかしすこいとしたらその保安上は生命現象だ fact17: あの日本兵はフィブロネクチンである fact18: その保安上は大型前方後円墳だしその上頑是無い fact19: もしもあの時流が総合するとするとあの日本兵はフィブロネクチンである fact20: その保安上はすこくないけれどそれは存じ奉る fact21: もし仮にあの日本兵が生命現象であるとするとその保安上は総合する fact22: あの日本兵は見縊る ; $hypothesis$ = あの時流はフィブロネクチンだ ; $proof$ = 
fact9 & fact12 -> int1: あの日本兵は総合するということはないがすこい; int1 & fact16 -> int2: その保安上は生命現象だ; int2 & fact8 -> hypothesis; __PROVED__
事実1: 仮に「あの日本兵はすこくないけれど生命現象である」ということは成り立たないとするとあの時流はすこい
事実2: もしもその保安上がすこくないがそれがフィブロネクチンであるとするとあの日本兵は生命現象である
事実3: その保安上は刻むということはないけどそれはフィブロネクチンだ
事実4: 仮にあの日本兵が総合するとすればあの時流はすこい
事実5: もしもその保安上がすこいとすればあの日本兵は生命現象である
事実6: 「「その保安上は総合する」ということは成り立つならあの日本兵は生命現象だ」ということは真実だ
事実7: あの草葺き屋根はすこい
事実8: もしその保安上が生命現象だとしたらあの時流はフィブロネクチンだ
事実9: あの日本兵は総合しない
事実10: 「この列情報はフィブロネクチンである」ということは成り立つ
事実11: あの時流はすこい
事実12: あの日本兵はすこい
事実13: あの時流は生命現象だ
事実14: その保安上は総合する
事実15: あの日本兵は教育事業でない
事実16: もし仮にあの日本兵が総合しないがしかしすこいとしたらその保安上は生命現象だ
事実17: あの日本兵はフィブロネクチンである
事実18: その保安上は大型前方後円墳だしその上頑是無い
事実19: もしもあの時流が総合するとするとあの日本兵はフィブロネクチンである
事実20: その保安上はすこくないけれどそれは存じ奉る
事実21: もし仮にあの日本兵が生命現象であるとするとその保安上は総合する
事実22: あの日本兵は見縊る

仮説: あの時流はフィブロネクチンだ
1. 事実9と事実12から、推論1: "あの日本兵は総合するということはないがすこい"が導かれる
2. 推論1と事実16から、推論2: "その保安上は生命現象だ"が導かれる
3. 推論2と事実8から、仮説が導かれる

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