あの海物語は毟る
fact1: 仮にある物は毟るがしかしＧＴＳ‐Ｒでないなら飛び退く fact2: あの労働需要は飛び退く fact3: とある物はＧＴＳ‐Ｒであるということはない fact4: 「あの海物語は書き易い」ということは偽でない fact5: もしある物は捕らえ難いなら「それは沖縄基地でないしかわゆい」ということは事実でない fact6: その経営責任が飛び退くとすればあの西蓮寺は飛び退く fact7: 仮にあの海物語は泌乳牛であるならそれは通級だ fact8: 「毟らないがしかしＧＴＳ‐Ｒな」ものはある fact9: あの海物語はＧＴＳ‐Ｒでない fact10: もしもあの海物語は書き易いとすると「それは泌乳牛である」ということは正しい fact11: 仮にその経営責任がＧＴＳ‐Ｒでないならあの海物語は毟らない fact12: もしもその経営責任は沖縄基地であるとすればかわゆい fact13: 何かは毟る一方でＧＴＳ‐Ｒでない fact14: 全ての物は飛び退くということはないか通級である fact15: 仮にある物が毟らないしＧＴＳ‐Ｒでないならばあの経営責任は沖縄基地である fact16: もしあの海物語が通級ならばこの淡黄色は捕らえ難い fact17: もしもその経営責任は飛び退くなら「この西蓮寺は飛び退くということはないかまたは通級であるかあるいはどちらもである」ということは真実でない fact18: この西蓮寺は飛び退くかまたは通級である fact19: もしなんらかのものがかわゆいならばそれは飛び退く
void -> assump1: 以下のように仮定する。あの海物語は毟らない; assump1 & fact9 -> int1: あの海物語が毟るということはないしさらにＧＴＳ‐Ｒでない; int1 -> int2: 「「毟らなくてＧＴＳ‐Ｒでない」ものはある」ということは確かだ; int2 & fact15 -> int3: その経営責任は沖縄基地である; int3 & fact12 -> int4: その経営責任はかわゆい; fact19 -> int5: 仮にその経営責任がかわゆいならそれは飛び退く; int4 & int5 -> int6: その経営責任は飛び退く; int6 & fact17 -> int7: 「この西蓮寺は飛び退かないかそれは通級であるかどちらもである」ということは間違いだ; fact14 -> int8: この西蓮寺は飛び退くということはないか通級であるかまたは両方だ; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
この淡黄色は飛び退く
fact20 -> int10: 仮にこの淡黄色は毟るがＧＴＳ‐Ｒでないならそれは飛び退く; fact22 -> int11: もしこの淡黄色は捕らえ難いとすると「それは沖縄基地でないしそれはかわゆい」ということは誤っている; fact25 & fact23 -> int12: あの海物語は泌乳牛である; fact21 & int12 -> int13: あの海物語は通級だ; fact24 & int13 -> int14: この淡黄色は捕らえ難い; int11 & int14 -> int15: 「この淡黄色は沖縄基地でない一方でそれはかわゆい」ということは事実と異なる;
$facts$ = fact1: 仮にある物は毟るがしかしＧＴＳ‐Ｒでないなら飛び退く fact2: あの労働需要は飛び退く fact3: とある物はＧＴＳ‐Ｒであるということはない fact4: 「あの海物語は書き易い」ということは偽でない fact5: もしある物は捕らえ難いなら「それは沖縄基地でないしかわゆい」ということは事実でない fact6: その経営責任が飛び退くとすればあの西蓮寺は飛び退く fact7: 仮にあの海物語は泌乳牛であるならそれは通級だ fact8: 「毟らないがしかしＧＴＳ‐Ｒな」ものはある fact9: あの海物語はＧＴＳ‐Ｒでない fact10: もしもあの海物語は書き易いとすると「それは泌乳牛である」ということは正しい fact11: 仮にその経営責任がＧＴＳ‐Ｒでないならあの海物語は毟らない fact12: もしもその経営責任は沖縄基地であるとすればかわゆい fact13: 何かは毟る一方でＧＴＳ‐Ｒでない fact14: 全ての物は飛び退くということはないか通級である fact15: 仮にある物が毟らないしＧＴＳ‐Ｒでないならばあの経営責任は沖縄基地である fact16: もしあの海物語が通級ならばこの淡黄色は捕らえ難い fact17: もしもその経営責任は飛び退くなら「この西蓮寺は飛び退くということはないかまたは通級であるかあるいはどちらもである」ということは真実でない fact18: この西蓮寺は飛び退くかまたは通級である fact19: もしなんらかのものがかわゆいならばそれは飛び退く ; $hypothesis$ = あの海物語は毟る ; $proof$ = 
void -> assump1: 以下のように仮定する。あの海物語は毟らない; assump1 & fact9 -> int1: あの海物語が毟るということはないしさらにＧＴＳ‐Ｒでない; int1 -> int2: 「「毟らなくてＧＴＳ‐Ｒでない」ものはある」ということは確かだ; int2 & fact15 -> int3: その経営責任は沖縄基地である; int3 & fact12 -> int4: その経営責任はかわゆい; fact19 -> int5: 仮にその経営責任がかわゆいならそれは飛び退く; int4 & int5 -> int6: その経営責任は飛び退く; int6 & fact17 -> int7: 「この西蓮寺は飛び退かないかそれは通級であるかどちらもである」ということは間違いだ; fact14 -> int8: この西蓮寺は飛び退くということはないか通級であるかまたは両方だ; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 仮にある物は毟るがしかしＧＴＳ‐Ｒでないなら飛び退く
事実2: あの労働需要は飛び退く
事実3: とある物はＧＴＳ‐Ｒであるということはない
事実4: 「あの海物語は書き易い」ということは偽でない
事実5: もしある物は捕らえ難いなら「それは沖縄基地でないしかわゆい」ということは事実でない
事実6: その経営責任が飛び退くとすればあの西蓮寺は飛び退く
事実7: 仮にあの海物語は泌乳牛であるならそれは通級だ
事実8: 「毟らないがしかしＧＴＳ‐Ｒな」ものはある
事実9: あの海物語はＧＴＳ‐Ｒでない
事実10: もしもあの海物語は書き易いとすると「それは泌乳牛である」ということは正しい
事実11: 仮にその経営責任がＧＴＳ‐Ｒでないならあの海物語は毟らない
事実12: もしもその経営責任は沖縄基地であるとすればかわゆい
事実13: 何かは毟る一方でＧＴＳ‐Ｒでない
事実14: 全ての物は飛び退くということはないか通級である
事実15: 仮にある物が毟らないしＧＴＳ‐Ｒでないならばあの経営責任は沖縄基地である
事実16: もしあの海物語が通級ならばこの淡黄色は捕らえ難い
事実17: もしもその経営責任は飛び退くなら「この西蓮寺は飛び退くということはないかまたは通級であるかあるいはどちらもである」ということは真実でない
事実18: この西蓮寺は飛び退くかまたは通級である
事実19: もしなんらかのものがかわゆいならばそれは飛び退く

仮説: あの海物語は毟る
1. 仮定1: 以下のように仮定する。あの海物語は毟らない
2. 仮定1と事実9から、推論1: "あの海物語が毟るということはないしさらにＧＴＳ‐Ｒでない"が導かれる
3. 推論1から、推論2: "「「毟らなくてＧＴＳ‐Ｒでない」ものはある」ということは確かだ"が導かれる
4. 推論2と事実15から、推論3: "その経営責任は沖縄基地である"が導かれる
5. 推論3と事実12から、推論4: "その経営責任はかわゆい"が導かれる
6. 事実19から、推論5: "仮にその経営責任がかわゆいならそれは飛び退く"が導かれる
7. 推論4と推論5から、推論6: "その経営責任は飛び退く"が導かれる
8. 推論6と事実17から、推論7: "「この西蓮寺は飛び退かないかそれは通級であるかどちらもである」ということは間違いだ"が導かれる
9. 事実14から、推論8: "この西蓮寺は飛び退くということはないか通級であるかまたは両方だ"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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