そのゼウス像は破れ難いし座席だ
fact1: 仮になにがしかのものは決め込まないとすれば「「それは破れ難くないがしかし人生全体である」ということは確かだ」ということは成り立つということはない fact2: もし仮にそのゼウス像が人生全体ならあの中性脂肪は座席だ fact3: そのゼウス像は破れ難いかあるいは人生全体であるかもしくは両方ともである fact4: そのゼウス像は座席だ fact5: もし仮に何かは言い返せないとすれば決め込むけれど人生全体でない fact6: あの中性脂肪は人生全体であるかまたは決め込むかまたはどちらもだ fact7: あの中性脂肪は鳶口であるかもしくはそれは提訴するかどちらもだ fact8: あの中性脂肪は人生全体であるかもしくはそれは破れ難い fact9: 仮にあの中性脂肪は人生全体であるなら「そのゼウス像は破れ難い」ということは本当だ fact10: この破片が眠たいしその上それはアルコール離脱譫妄である fact11: もしなんらかの物は婚儀でないかあるいは尋問しないかどちらもであるならそれは言い返せない fact12: 仮にこの破片が眠たくてさらにそれはアルコール離脱譫妄であるならば「尊しない」ということは成り立つ fact13: 仮に「何らかの物は破れ難いということはない一方で人生全体である」ということは偽であるとするとそれは破れ難い fact14: 仮にこの破片が尊しないとしたら婚儀でないかもしくはそれは尋問しない fact15: 仮にこの破片が尋問するならあの中性脂肪は尋問する fact16: 仮にあの中性脂肪が決め込むとするとそのゼウス像は破れ難い fact17: もし仮にあの中性脂肪が尋問するとするとその測定時は言い返せる fact18: もしあの中性脂肪が座席だとしたらそのゼウス像は決め込む
fact6 & fact9 & fact16 -> int1: そのゼウス像は破れ難い; int1 & fact4 -> hypothesis;
fact6 & fact9 & fact16 -> int1: {C}{c}; int1 & fact4 -> hypothesis;
その測定時は破れ難い
fact20 -> int2: もしも「「その測定時は破れ難くないけど人生全体だ」ということは事実でない」ということは成り立つとすればそれは破れ難い; fact22 -> int3: もし仮にその測定時は決め込むということはないとしたら「それは破れ難くないけど人生全体だ」ということは偽だ;
$facts$ = fact1: 仮になにがしかのものは決め込まないとすれば「「それは破れ難くないがしかし人生全体である」ということは確かだ」ということは成り立つということはない fact2: もし仮にそのゼウス像が人生全体ならあの中性脂肪は座席だ fact3: そのゼウス像は破れ難いかあるいは人生全体であるかもしくは両方ともである fact4: そのゼウス像は座席だ fact5: もし仮に何かは言い返せないとすれば決め込むけれど人生全体でない fact6: あの中性脂肪は人生全体であるかまたは決め込むかまたはどちらもだ fact7: あの中性脂肪は鳶口であるかもしくはそれは提訴するかどちらもだ fact8: あの中性脂肪は人生全体であるかもしくはそれは破れ難い fact9: 仮にあの中性脂肪は人生全体であるなら「そのゼウス像は破れ難い」ということは本当だ fact10: この破片が眠たいしその上それはアルコール離脱譫妄である fact11: もしなんらかの物は婚儀でないかあるいは尋問しないかどちらもであるならそれは言い返せない fact12: 仮にこの破片が眠たくてさらにそれはアルコール離脱譫妄であるならば「尊しない」ということは成り立つ fact13: 仮に「何らかの物は破れ難いということはない一方で人生全体である」ということは偽であるとするとそれは破れ難い fact14: 仮にこの破片が尊しないとしたら婚儀でないかもしくはそれは尋問しない fact15: 仮にこの破片が尋問するならあの中性脂肪は尋問する fact16: 仮にあの中性脂肪が決め込むとするとそのゼウス像は破れ難い fact17: もし仮にあの中性脂肪が尋問するとするとその測定時は言い返せる fact18: もしあの中性脂肪が座席だとしたらそのゼウス像は決め込む ; $hypothesis$ = そのゼウス像は破れ難いし座席だ ; $proof$ = 
fact6 & fact9 & fact16 -> int1: そのゼウス像は破れ難い; int1 & fact4 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものは決め込まないとすれば「「それは破れ難くないがしかし人生全体である」ということは確かだ」ということは成り立つということはない
事実2: もし仮にそのゼウス像が人生全体ならあの中性脂肪は座席だ
事実3: そのゼウス像は破れ難いかあるいは人生全体であるかもしくは両方ともである
事実4: そのゼウス像は座席だ
事実5: もし仮に何かは言い返せないとすれば決め込むけれど人生全体でない
事実6: あの中性脂肪は人生全体であるかまたは決め込むかまたはどちらもだ
事実7: あの中性脂肪は鳶口であるかもしくはそれは提訴するかどちらもだ
事実8: あの中性脂肪は人生全体であるかもしくはそれは破れ難い
事実9: 仮にあの中性脂肪は人生全体であるなら「そのゼウス像は破れ難い」ということは本当だ
事実10: この破片が眠たいしその上それはアルコール離脱譫妄である
事実11: もしなんらかの物は婚儀でないかあるいは尋問しないかどちらもであるならそれは言い返せない
事実12: 仮にこの破片が眠たくてさらにそれはアルコール離脱譫妄であるならば「尊しない」ということは成り立つ
事実13: 仮に「何らかの物は破れ難いということはない一方で人生全体である」ということは偽であるとするとそれは破れ難い
事実14: 仮にこの破片が尊しないとしたら婚儀でないかもしくはそれは尋問しない
事実15: 仮にこの破片が尋問するならあの中性脂肪は尋問する
事実16: 仮にあの中性脂肪が決め込むとするとそのゼウス像は破れ難い
事実17: もし仮にあの中性脂肪が尋問するとするとその測定時は言い返せる
事実18: もしあの中性脂肪が座席だとしたらそのゼウス像は決め込む

仮説: そのゼウス像は破れ難いし座席だ
1. 事実6と事実9と事実16から、推論1: "そのゼウス像は破れ難い"が導かれる
2. 推論1と事実4から、仮説が導かれる

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