あの焉馬編は弾圧する
fact1: もし仮に「なんらかのものは吐き続けるけどそれは身投げしない」ということは偽であるとすると「それは身投げする」ということは本当である fact2: もしも「痛ーいということはない」物はあれば「「その五十年度は吐き続けるけどそれは身投げしない」ということは成り立たない」ということは成り立つ fact3: この入場券は行商しない fact4: 人間っぽくないものは弾圧するし禁止す fact5: もしも目覚ましいということはないものが押し頂くとすると貶まない fact6: この入場券は弾圧するということはない fact7: あの焉馬編はぎごちなくなくて余計者でない fact8: 「仮にその株立ちが解剖実習でないとすればこの入場券は粘り付かなくて車作りだということはない」ということは成り立つ fact9: 「もしこの入場券は行商しないとしたら「あの焉馬編は日本イメージでなくて新しくない」ということは真実だ」ということは真実だ fact10: 仮に「「寝取るし加えて痛ーい」ということは嘘である」ものがあるとするとこの晶帯軸は痛ーくない fact11: その元老院議員は余儀無くない fact12: もし仮にこの入場券が禁止すらないとすればあの焉馬編は新しくないし更にそれは行商するということはない fact13: 「その元老院議員は余儀無くない」ということは正しいとしたら「あのＧＣは寝取るし痛ーい」ということは偽だ fact14: どれもこれもは女の子らしくない fact15: 仮にこの入場券が摘み取らないとしたらあの焉馬編は様良くて加えて女の子らしい fact16: もし仮にあるものは日本イメージでなくてそれに新しくないとすると「人間っぽくない」ということは成り立つ fact17: もしもとある物は粘り付かなくておまけに車作りであるということはないとすれば摘み取らない fact18: もしもあの焉馬編は日本イメージでなくておまけに汚らしくないなら辛くない fact19: 様良しものは禁止す fact20: 仮になんらかのものは女の子らしくないならば「それは弾圧しないけれど様良し」ということは成り立たない fact21: もしある物は行商しなくてその上人間っぽいないならば「弾圧しない」ということは事実と異ならない fact22: もし何らかの物は身投げするとすれば「厚くなくて小さくない」ということは間違いである fact23: 仮に上がり易くないものが生姜醤油だということはないならばそれは発光しない
fact9 & fact3 -> int1: あの焉馬編は日本イメージでなくてかつ新しくない; fact16 -> int2: 仮にあの焉馬編が日本イメージでないしおまけに新しくないならば人間っぽくない; int1 & int2 -> int3: 「あの焉馬編は人間っぽくない」ということは偽でない; fact4 -> int4: あの焉馬編が人間っぽくないとすれば弾圧するし加えてそれは禁止す; int3 & int4 -> int5: あの焉馬編は弾圧するし禁止す; int5 -> hypothesis;
あの焉馬編は弾圧しない
fact30 -> int6: 仮にあの焉馬編は行商するということはなくてまた人間っぽくないならば弾圧するということはない; fact25 -> int7: もしもあの焉馬編が様良しなら禁止す; fact34 -> int8: 仮に「この入場券は粘り付かなくてその上車作りでない」ということは間違っていないとしたらそれは摘み取らない; fact26 -> int9: もし仮にその五十年度は身投げするとすれば「厚くない物でかつ小さくない」ということは間違っている; fact27 -> int10: 「その五十年度は吐き続けるが身投げするということはない」ということは正しくないとしたらそれは身投げする; fact31 & fact28 -> int11: 「あのＧＣは寝取るしおまけに痛ーい」ということは誤っている; int11 -> int12: 「「寝取るししかも痛ーい」ということは偽な」物はある; int12 & fact24 -> int13: この晶帯軸は痛ーくない; int13 -> int14: 「痛ーくない」ものはある; int14 & fact32 -> int15: 「その五十年度は吐き続けるがしかし身投げするということはない」ということは誤りである; int10 & int15 -> int16: その五十年度は身投げする; int9 & int16 -> int17: 「その五十年度は厚くないし小さくない」ということは成り立たない; int17 -> int18: 「「厚くないしその上小さくない」ということは嘘な」ものはある;
$facts$ = fact1: もし仮に「なんらかのものは吐き続けるけどそれは身投げしない」ということは偽であるとすると「それは身投げする」ということは本当である fact2: もしも「痛ーいということはない」物はあれば「「その五十年度は吐き続けるけどそれは身投げしない」ということは成り立たない」ということは成り立つ fact3: この入場券は行商しない fact4: 人間っぽくないものは弾圧するし禁止す fact5: もしも目覚ましいということはないものが押し頂くとすると貶まない fact6: この入場券は弾圧するということはない fact7: あの焉馬編はぎごちなくなくて余計者でない fact8: 「仮にその株立ちが解剖実習でないとすればこの入場券は粘り付かなくて車作りだということはない」ということは成り立つ fact9: 「もしこの入場券は行商しないとしたら「あの焉馬編は日本イメージでなくて新しくない」ということは真実だ」ということは真実だ fact10: 仮に「「寝取るし加えて痛ーい」ということは嘘である」ものがあるとするとこの晶帯軸は痛ーくない fact11: その元老院議員は余儀無くない fact12: もし仮にこの入場券が禁止すらないとすればあの焉馬編は新しくないし更にそれは行商するということはない fact13: 「その元老院議員は余儀無くない」ということは正しいとしたら「あのＧＣは寝取るし痛ーい」ということは偽だ fact14: どれもこれもは女の子らしくない fact15: 仮にこの入場券が摘み取らないとしたらあの焉馬編は様良くて加えて女の子らしい fact16: もし仮にあるものは日本イメージでなくてそれに新しくないとすると「人間っぽくない」ということは成り立つ fact17: もしもとある物は粘り付かなくておまけに車作りであるということはないとすれば摘み取らない fact18: もしもあの焉馬編は日本イメージでなくておまけに汚らしくないなら辛くない fact19: 様良しものは禁止す fact20: 仮になんらかのものは女の子らしくないならば「それは弾圧しないけれど様良し」ということは成り立たない fact21: もしある物は行商しなくてその上人間っぽいないならば「弾圧しない」ということは事実と異ならない fact22: もし何らかの物は身投げするとすれば「厚くなくて小さくない」ということは間違いである fact23: 仮に上がり易くないものが生姜醤油だということはないならばそれは発光しない ; $hypothesis$ = あの焉馬編は弾圧する ; $proof$ = 
fact9 & fact3 -> int1: あの焉馬編は日本イメージでなくてかつ新しくない; fact16 -> int2: 仮にあの焉馬編が日本イメージでないしおまけに新しくないならば人間っぽくない; int1 & int2 -> int3: 「あの焉馬編は人間っぽくない」ということは偽でない; fact4 -> int4: あの焉馬編が人間っぽくないとすれば弾圧するし加えてそれは禁止す; int3 & int4 -> int5: あの焉馬編は弾圧するし禁止す; int5 -> hypothesis; __PROVED__
事実1: もし仮に「なんらかのものは吐き続けるけどそれは身投げしない」ということは偽であるとすると「それは身投げする」ということは本当である
事実2: もしも「痛ーいということはない」物はあれば「「その五十年度は吐き続けるけどそれは身投げしない」ということは成り立たない」ということは成り立つ
事実3: この入場券は行商しない
事実4: 人間っぽくないものは弾圧するし禁止す
事実5: もしも目覚ましいということはないものが押し頂くとすると貶まない
事実6: この入場券は弾圧するということはない
事実7: あの焉馬編はぎごちなくなくて余計者でない
事実8: 「仮にその株立ちが解剖実習でないとすればこの入場券は粘り付かなくて車作りだということはない」ということは成り立つ
事実9: 「もしこの入場券は行商しないとしたら「あの焉馬編は日本イメージでなくて新しくない」ということは真実だ」ということは真実だ
事実10: 仮に「「寝取るし加えて痛ーい」ということは嘘である」ものがあるとするとこの晶帯軸は痛ーくない
事実11: その元老院議員は余儀無くない
事実12: もし仮にこの入場券が禁止すらないとすればあの焉馬編は新しくないし更にそれは行商するということはない
事実13: 「その元老院議員は余儀無くない」ということは正しいとしたら「あのＧＣは寝取るし痛ーい」ということは偽だ
事実14: どれもこれもは女の子らしくない
事実15: 仮にこの入場券が摘み取らないとしたらあの焉馬編は様良くて加えて女の子らしい
事実16: もし仮にあるものは日本イメージでなくてそれに新しくないとすると「人間っぽくない」ということは成り立つ
事実17: もしもとある物は粘り付かなくておまけに車作りであるということはないとすれば摘み取らない
事実18: もしもあの焉馬編は日本イメージでなくておまけに汚らしくないなら辛くない
事実19: 様良しものは禁止す
事実20: 仮になんらかのものは女の子らしくないならば「それは弾圧しないけれど様良し」ということは成り立たない
事実21: もしある物は行商しなくてその上人間っぽいないならば「弾圧しない」ということは事実と異ならない
事実22: もし何らかの物は身投げするとすれば「厚くなくて小さくない」ということは間違いである
事実23: 仮に上がり易くないものが生姜醤油だということはないならばそれは発光しない

仮説: あの焉馬編は弾圧する
1. 事実9と事実3から、推論1: "あの焉馬編は日本イメージでなくてかつ新しくない"が導かれる
2. 事実16から、推論2: "仮にあの焉馬編が日本イメージでないしおまけに新しくないならば人間っぽくない"が導かれる
3. 推論1と推論2から、推論3: "「あの焉馬編は人間っぽくない」ということは偽でない"が導かれる
4. 事実4から、推論4: "あの焉馬編が人間っぽくないとすれば弾圧するし加えてそれは禁止す"が導かれる
5. 推論3と推論4から、推論5: "あの焉馬編は弾圧するし禁止す"が導かれる
6. 推論5から、仮説が導かれる

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