その方は霊生であるしその上自書する
fact1: もし仮にこの海兵同期が自書する一方でそれは霊生でないならそれは居辛くない fact2: もし仮にその方が見出だし難くてそれにこそばゆいとしたらあの青柳はこそばゆくない fact3: その方は霊生であるけれど脆弱化しない fact4: この海兵同期は居辛い fact5: もし仮にその方がこそばゆいけどそれは自書しないならば「脆弱化しない」ということは嘘でない fact6: 仮に何らかのものは見出だし難くないとすれば「それは霊生だしさらに自書する」ということは間違いだ fact7: その方は締めっぽいということはない fact8: 「その方は伸び易くておまけに自書する」ということは間違いだ fact9: 仮にこの海兵同期が居辛いけどこそばゆくないならその方は見出だし難くない fact10: もし仮にこの海兵同期が自書する一方でそれが脆弱化しないとするとその方はこそばゆくない fact11: もし仮になんらかのものは脆弱化しないとすると「見出だし難くておまけに居辛い」ということは嘘だ fact12: この海兵同期は見出だし難くないしさらに略しない fact13: 仮に何かは脆弱化しないししかもそれは薄ら寒くないとしたら「こそばゆくない」ということは成り立つ fact14: この海兵同期は脆弱化しないしかつ薄ら寒くない fact15: その受忍は霊生でない fact16: あの裸体はこそばゆい fact17: 見出だし難くないものであり加えて居辛くない物は薄ら寒くない
fact13 -> int1: もし仮にこの海兵同期は脆弱化しなくて薄ら寒くないならばそれはこそばゆくない; int1 & fact14 -> int2: この海兵同期はこそばゆくない; int2 & fact4 -> int3: この海兵同期は居辛い一方でこそばゆくない; int3 & fact9 -> int4: その方は見出だし難くない; fact6 -> int5: その方は見出だし難くないとしたら「霊生で自書する」ということは成り立たない; int4 & int5 -> hypothesis;
あの青柳はこそばゆくない
$facts$ = fact1: もし仮にこの海兵同期が自書する一方でそれは霊生でないならそれは居辛くない fact2: もし仮にその方が見出だし難くてそれにこそばゆいとしたらあの青柳はこそばゆくない fact3: その方は霊生であるけれど脆弱化しない fact4: この海兵同期は居辛い fact5: もし仮にその方がこそばゆいけどそれは自書しないならば「脆弱化しない」ということは嘘でない fact6: 仮に何らかのものは見出だし難くないとすれば「それは霊生だしさらに自書する」ということは間違いだ fact7: その方は締めっぽいということはない fact8: 「その方は伸び易くておまけに自書する」ということは間違いだ fact9: 仮にこの海兵同期が居辛いけどこそばゆくないならその方は見出だし難くない fact10: もし仮にこの海兵同期が自書する一方でそれが脆弱化しないとするとその方はこそばゆくない fact11: もし仮になんらかのものは脆弱化しないとすると「見出だし難くておまけに居辛い」ということは嘘だ fact12: この海兵同期は見出だし難くないしさらに略しない fact13: 仮に何かは脆弱化しないししかもそれは薄ら寒くないとしたら「こそばゆくない」ということは成り立つ fact14: この海兵同期は脆弱化しないしかつ薄ら寒くない fact15: その受忍は霊生でない fact16: あの裸体はこそばゆい fact17: 見出だし難くないものであり加えて居辛くない物は薄ら寒くない ; $hypothesis$ = その方は霊生であるしその上自書する ; $proof$ = 
fact13 -> int1: もし仮にこの海兵同期は脆弱化しなくて薄ら寒くないならばそれはこそばゆくない; int1 & fact14 -> int2: この海兵同期はこそばゆくない; int2 & fact4 -> int3: この海兵同期は居辛い一方でこそばゆくない; int3 & fact9 -> int4: その方は見出だし難くない; fact6 -> int5: その方は見出だし難くないとしたら「霊生で自書する」ということは成り立たない; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もし仮にこの海兵同期が自書する一方でそれは霊生でないならそれは居辛くない
事実2: もし仮にその方が見出だし難くてそれにこそばゆいとしたらあの青柳はこそばゆくない
事実3: その方は霊生であるけれど脆弱化しない
事実4: この海兵同期は居辛い
事実5: もし仮にその方がこそばゆいけどそれは自書しないならば「脆弱化しない」ということは嘘でない
事実6: 仮に何らかのものは見出だし難くないとすれば「それは霊生だしさらに自書する」ということは間違いだ
事実7: その方は締めっぽいということはない
事実8: 「その方は伸び易くておまけに自書する」ということは間違いだ
事実9: 仮にこの海兵同期が居辛いけどこそばゆくないならその方は見出だし難くない
事実10: もし仮にこの海兵同期が自書する一方でそれが脆弱化しないとするとその方はこそばゆくない
事実11: もし仮になんらかのものは脆弱化しないとすると「見出だし難くておまけに居辛い」ということは嘘だ
事実12: この海兵同期は見出だし難くないしさらに略しない
事実13: 仮に何かは脆弱化しないししかもそれは薄ら寒くないとしたら「こそばゆくない」ということは成り立つ
事実14: この海兵同期は脆弱化しないしかつ薄ら寒くない
事実15: その受忍は霊生でない
事実16: あの裸体はこそばゆい
事実17: 見出だし難くないものであり加えて居辛くない物は薄ら寒くない

仮説: その方は霊生であるしその上自書する
1. 事実13から、推論1: "もし仮にこの海兵同期は脆弱化しなくて薄ら寒くないならばそれはこそばゆくない"が導かれる
2. 推論1と事実14から、推論2: "この海兵同期はこそばゆくない"が導かれる
3. 推論2と事実4から、推論3: "この海兵同期は居辛い一方でこそばゆくない"が導かれる
4. 推論3と事実9から、推論4: "その方は見出だし難くない"が導かれる
5. 事実6から、推論5: "その方は見出だし難くないとしたら「霊生で自書する」ということは成り立たない"が導かれる
6. 推論4と推論5から、仮説が否定される

よって、仮説が否定されました。