「「拭い難くないとすれば「仕えるし分かち難い」ということは事実と異なる」ものはある」ということは成り立たない
fact1: 拭い難いということはないものは仕えるしさらに分かち難い fact2: 「仮にパート労働者でないとしたら頑是無いカルーゼル広場である」物はある fact3: もしあの柿は拭い難いならば「それは仕えるし分かち難い」ということは事実と異なる fact4: 何らかのものは交じり合わないとすれば「忙しくてまたにっこりする」ということは誤っている fact5: あの柿は異所性であるなら「それは拭い難いしそれに入り辛い」ということは成り立たない fact6: 「仮に首でないならば「頑是無いしさらに悪い」ということは成り立たない」ものはある fact7: 「もしも町辻でないなら「執念深いしそれに段落である」ということは間違いな」物はある fact8: もし仮に何らかの物は拭い難いということはないとすれば「それは仕えるし分かち難い」ということは偽である
fact8 -> int1: もしもあの柿は拭い難くないとすれば「それは仕えるしまた分かち難い」ということは正しいということはない; int1 -> hypothesis;
$facts$ = fact1: 拭い難いということはないものは仕えるしさらに分かち難い fact2: 「仮にパート労働者でないとしたら頑是無いカルーゼル広場である」物はある fact3: もしあの柿は拭い難いならば「それは仕えるし分かち難い」ということは事実と異なる fact4: 何らかのものは交じり合わないとすれば「忙しくてまたにっこりする」ということは誤っている fact5: あの柿は異所性であるなら「それは拭い難いしそれに入り辛い」ということは成り立たない fact6: 「仮に首でないならば「頑是無いしさらに悪い」ということは成り立たない」ものはある fact7: 「もしも町辻でないなら「執念深いしそれに段落である」ということは間違いな」物はある fact8: もし仮に何らかの物は拭い難いということはないとすれば「それは仕えるし分かち難い」ということは偽である ; $hypothesis$ = 「「拭い難くないとすれば「仕えるし分かち難い」ということは事実と異なる」ものはある」ということは成り立たない ; $proof$ = 
fact8 -> int1: もしもあの柿は拭い難くないとすれば「それは仕えるしまた分かち難い」ということは正しいということはない; int1 -> hypothesis; __DISPROVED__
事実1: 拭い難いということはないものは仕えるしさらに分かち難い
事実2: 「仮にパート労働者でないとしたら頑是無いカルーゼル広場である」物はある
事実3: もしあの柿は拭い難いならば「それは仕えるし分かち難い」ということは事実と異なる
事実4: 何らかのものは交じり合わないとすれば「忙しくてまたにっこりする」ということは誤っている
事実5: あの柿は異所性であるなら「それは拭い難いしそれに入り辛い」ということは成り立たない
事実6: 「仮に首でないならば「頑是無いしさらに悪い」ということは成り立たない」ものはある
事実7: 「もしも町辻でないなら「執念深いしそれに段落である」ということは間違いな」物はある
事実8: もし仮に何らかの物は拭い難いということはないとすれば「それは仕えるし分かち難い」ということは偽である

仮説: 「「拭い難くないとすれば「仕えるし分かち難い」ということは事実と異なる」ものはある」ということは成り立たない
1. 事実8から、推論1: "もしもあの柿は拭い難くないとすれば「それは仕えるしまた分かち難い」ということは正しいということはない"が導かれる
2. 推論1から、仮説が否定される

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