あの折畳み式は第一回十字軍である
fact1: あの大卒は縮める fact2: あの折畳み式が御決めに成れば三才図会である fact3: もしあの自動織機が第一回十字軍だとするとＣセブンである fact4: 仮になんらかのものがぼろいとすればそれは第一回十字軍だ fact5: 仮にあの大卒が縮めるし更に其れっぽいとするとおっきいということはない fact6: あの折畳み式はぼろい fact7: もし仮に「なにがしかのものは奥まるということはない」ということは事実ならば寝苦しい fact8: 「ある物がぼろくなくて更にそれは不徹底でないとするとそれは第一回十字軍だ」ということは正しい fact9: 仮に何らかの物がライブハウスでないならそれは其れっぽくておまけに濃くない fact10: あのＥ‐Ｐは第一回十字軍である fact11: 仮に「誤解し易くないしさらに奥まらない」ものがあるとしたらこの各工場は寝苦しい fact12: 寝苦しくないかあるいはぼろいということはないものはぼろくない fact13: あの折畳み式は宗教絵画だ fact14: あのサーマイルは第一回十字軍だ fact15: もしあの大卒がおっきくないとすればそれは誤解し易くないし奥まらない fact16: すべてはライブハウスでない fact17: もしこの各工場が第一回十字軍であるとしたらあの折畳み式は第一回十字軍でない
fact4 -> int1: もし仮にあの折畳み式がぼろいとすれば第一回十字軍である; int1 & fact6 -> hypothesis;
あの折畳み式は第一回十字軍でない
fact21 -> int2: もしもこの各工場がぼろくないし不徹底でないならばそれは第一回十字軍である; fact22 -> int3: 仮にそのキューブはライブハウスでないとしたら其れっぽいけど濃いということはない; fact18 -> int4: そのキューブはライブハウスでない; int3 & int4 -> int5: そのキューブは其れっぽいけれど濃くない; int5 -> int6: すべてのものは其れっぽいけど濃くない; int6 -> int7: 「あの大卒は其れっぽいが濃くない」ということは事実である; int7 -> int8: あの大卒は其れっぽい; fact23 & int8 -> int9: あの大卒は縮めるし加えて其れっぽい; int9 & fact20 -> int10: あの大卒はおっきいということはない; fact24 & int10 -> int11: あの大卒は誤解し易くないしその上それは奥まらない; int11 -> int12: 「誤解し易くないしまた奥まらない」ものはある; fact25 & int12 -> int13: この各工場は寝苦しい;
$facts$ = fact1: あの大卒は縮める fact2: あの折畳み式が御決めに成れば三才図会である fact3: もしあの自動織機が第一回十字軍だとするとＣセブンである fact4: 仮になんらかのものがぼろいとすればそれは第一回十字軍だ fact5: 仮にあの大卒が縮めるし更に其れっぽいとするとおっきいということはない fact6: あの折畳み式はぼろい fact7: もし仮に「なにがしかのものは奥まるということはない」ということは事実ならば寝苦しい fact8: 「ある物がぼろくなくて更にそれは不徹底でないとするとそれは第一回十字軍だ」ということは正しい fact9: 仮に何らかの物がライブハウスでないならそれは其れっぽくておまけに濃くない fact10: あのＥ‐Ｐは第一回十字軍である fact11: 仮に「誤解し易くないしさらに奥まらない」ものがあるとしたらこの各工場は寝苦しい fact12: 寝苦しくないかあるいはぼろいということはないものはぼろくない fact13: あの折畳み式は宗教絵画だ fact14: あのサーマイルは第一回十字軍だ fact15: もしあの大卒がおっきくないとすればそれは誤解し易くないし奥まらない fact16: すべてはライブハウスでない fact17: もしこの各工場が第一回十字軍であるとしたらあの折畳み式は第一回十字軍でない ; $hypothesis$ = あの折畳み式は第一回十字軍である ; $proof$ = 
fact4 -> int1: もし仮にあの折畳み式がぼろいとすれば第一回十字軍である; int1 & fact6 -> hypothesis; __PROVED__
事実1: あの大卒は縮める
事実2: あの折畳み式が御決めに成れば三才図会である
事実3: もしあの自動織機が第一回十字軍だとするとＣセブンである
事実4: 仮になんらかのものがぼろいとすればそれは第一回十字軍だ
事実5: 仮にあの大卒が縮めるし更に其れっぽいとするとおっきいということはない
事実6: あの折畳み式はぼろい
事実7: もし仮に「なにがしかのものは奥まるということはない」ということは事実ならば寝苦しい
事実8: 「ある物がぼろくなくて更にそれは不徹底でないとするとそれは第一回十字軍だ」ということは正しい
事実9: 仮に何らかの物がライブハウスでないならそれは其れっぽくておまけに濃くない
事実10: あのＥ‐Ｐは第一回十字軍である
事実11: 仮に「誤解し易くないしさらに奥まらない」ものがあるとしたらこの各工場は寝苦しい
事実12: 寝苦しくないかあるいはぼろいということはないものはぼろくない
事実13: あの折畳み式は宗教絵画だ
事実14: あのサーマイルは第一回十字軍だ
事実15: もしあの大卒がおっきくないとすればそれは誤解し易くないし奥まらない
事実16: すべてはライブハウスでない
事実17: もしこの各工場が第一回十字軍であるとしたらあの折畳み式は第一回十字軍でない

仮説: あの折畳み式は第一回十字軍である
1. 事実4から、推論1: "もし仮にあの折畳み式がぼろいとすれば第一回十字軍である"が導かれる
2. 推論1と事実6から、仮説が導かれる

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