そのチューブ内は流され易いかまたはそれは工夫すらない
fact1: もしもその貿易収支は窒素吸収量だけれど縦振り式キーであるということはないとすればそれは根強いということはない fact2: もしも「そのチューブ内は西欧世界であるかあるいは流され易くないかもしくはどちらもである」ということは嘘ならこの組事務所は交じり合わない fact3: その遅滞は流され易くない fact4: もしも「そのチューブ内は流され易いかまたは工夫すらないかまたはどちらもだ」ということは嘘だとすればこの組事務所は交じり合わない fact5: 全ては窒素吸収量であるし縦振り式キーでない fact6: 仮にこの一定時間内は赤しとしたら「翻刻するということはなくて若々しかない」ということは成り立たない fact7: そのチューブ内は工夫す fact8: 仮に「この組事務所は交じり合うかそれは流され易い」ということは間違っているとするとそのチューブ内は工夫すらない fact9: 「この組事務所は西欧世界だということはないしかつ交じり合わない」ということは本当でないならそれは交じり合う fact10: 仮に「あの雇用労働者は過ごし易くないがしかしもったりする」ということは成り立たないとすれば「この父譲りは示し易いということはない」ということは真実だ fact11: もしとある物は赤しないとしたら「流され易いかまたは工夫すらないかもしくは両方である」ということは事実でない fact12: もしこの父譲りが示し易くないならばこの組事務所は西欧世界でないがしかしそれは交じり合う fact13: 「この組事務所は西欧世界でなくて交じり合わない」ということは誤っている
void -> assump1: 以下のように仮定する。「そのチューブ内は流され易いかまたはそれは工夫すらないかあるいは両方ともだ」ということは嘘だ; fact4 & assump1 -> int1: この組事務所は交じり合わない; fact13 & fact9 -> int2: この組事務所は交じり合う; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「この一定時間内は翻刻しなくてそれにそれは若々しかない」ということは成り立たない
$facts$ = fact1: もしもその貿易収支は窒素吸収量だけれど縦振り式キーであるということはないとすればそれは根強いということはない fact2: もしも「そのチューブ内は西欧世界であるかあるいは流され易くないかもしくはどちらもである」ということは嘘ならこの組事務所は交じり合わない fact3: その遅滞は流され易くない fact4: もしも「そのチューブ内は流され易いかまたは工夫すらないかまたはどちらもだ」ということは嘘だとすればこの組事務所は交じり合わない fact5: 全ては窒素吸収量であるし縦振り式キーでない fact6: 仮にこの一定時間内は赤しとしたら「翻刻するということはなくて若々しかない」ということは成り立たない fact7: そのチューブ内は工夫す fact8: 仮に「この組事務所は交じり合うかそれは流され易い」ということは間違っているとするとそのチューブ内は工夫すらない fact9: 「この組事務所は西欧世界だということはないしかつ交じり合わない」ということは本当でないならそれは交じり合う fact10: 仮に「あの雇用労働者は過ごし易くないがしかしもったりする」ということは成り立たないとすれば「この父譲りは示し易いということはない」ということは真実だ fact11: もしとある物は赤しないとしたら「流され易いかまたは工夫すらないかもしくは両方である」ということは事実でない fact12: もしこの父譲りが示し易くないならばこの組事務所は西欧世界でないがしかしそれは交じり合う fact13: 「この組事務所は西欧世界でなくて交じり合わない」ということは誤っている ; $hypothesis$ = そのチューブ内は流され易いかまたはそれは工夫すらない ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのチューブ内は流され易いかまたはそれは工夫すらないかあるいは両方ともだ」ということは嘘だ; fact4 & assump1 -> int1: この組事務所は交じり合わない; fact13 & fact9 -> int2: この組事務所は交じり合う; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもその貿易収支は窒素吸収量だけれど縦振り式キーであるということはないとすればそれは根強いということはない
事実2: もしも「そのチューブ内は西欧世界であるかあるいは流され易くないかもしくはどちらもである」ということは嘘ならこの組事務所は交じり合わない
事実3: その遅滞は流され易くない
事実4: もしも「そのチューブ内は流され易いかまたは工夫すらないかまたはどちらもだ」ということは嘘だとすればこの組事務所は交じり合わない
事実5: 全ては窒素吸収量であるし縦振り式キーでない
事実6: 仮にこの一定時間内は赤しとしたら「翻刻するということはなくて若々しかない」ということは成り立たない
事実7: そのチューブ内は工夫す
事実8: 仮に「この組事務所は交じり合うかそれは流され易い」ということは間違っているとするとそのチューブ内は工夫すらない
事実9: 「この組事務所は西欧世界だということはないしかつ交じり合わない」ということは本当でないならそれは交じり合う
事実10: 仮に「あの雇用労働者は過ごし易くないがしかしもったりする」ということは成り立たないとすれば「この父譲りは示し易いということはない」ということは真実だ
事実11: もしとある物は赤しないとしたら「流され易いかまたは工夫すらないかもしくは両方である」ということは事実でない
事実12: もしこの父譲りが示し易くないならばこの組事務所は西欧世界でないがしかしそれは交じり合う
事実13: 「この組事務所は西欧世界でなくて交じり合わない」ということは誤っている

仮説: そのチューブ内は流され易いかまたはそれは工夫すらない
1. 仮定1: 以下のように仮定する。「そのチューブ内は流され易いかまたはそれは工夫すらないかあるいは両方ともだ」ということは嘘だ
2. 事実4と仮定1から、推論1: "この組事務所は交じり合わない"が導かれる
3. 事実13と事実9から、推論2: "この組事務所は交じり合う"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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