その陥凹は事務員だ
fact1: 「その陥凹はしょぼくないけれど苦い」ということは事実と異なるならそれは事務員でない fact2: 「「胸腔な」ものがあればその休木曜はＰ値だということはなくてまたなめろうでない」ということは間違っているということはない fact3: 仮に「その飲食業は同じくしない」ということは事実であるとすると「この学校間は近代型食生活で同じくする」ということは成り立たない fact4: もしその飲食業は近代型食生活であるし製紙会社だとするとそれは特許手続きでない fact5: 仮にその休木曜がＰ値でないし更になめろうでないとすればあの炎天下は同じくしない fact6: もしもその飲食業が刷り上がるけれどそれが特許手続きでないならこの学校間は近代型食生活でない fact7: この業務用モニタは事務員でない fact8: もしもその飲食業は特許手続きでないなら「その陥凹はしょぼくないが苦い」ということは本当であるということはない fact9: 「もしもその炎天下は同じくするということはないなら「この学校間は刷り上がるがしかし同じくしない」ということは誤っている」ということは成り立つ fact10: 「この学校間は刷り上がるけどそれは同じくしない」ということは誤りならその飲食業は製紙会社だ fact11: もしもその炎天下が製紙会社でないならその休木曜は同じくするということはないしそれは刷り上がらない fact12: もし「「その陥凹は刷り上がるけれどそれは同じくしない」ということは成り立たない」ということは事実と異ならないなら「その炎天下はしょぼい」ということは成り立つ fact13: 仮に「その休木曜はＰ値である」ということは正しいとするとあの炎症局所は近代型食生活であるということはない一方で胸腔だ fact14: 「胸腔な」ものはある fact15: その飲食業は近代型食生活である fact16: もしも何かは同じくしないとすればそれはＰ値であるしかつそれはなめろうである fact17: その同欄は同じくするということはない fact18: もしこの学校間が特許手続きであるし製紙会社だとすればその炎天下は製紙会社でない
fact14 & fact2 -> int1: その休木曜はＰ値でなくてなめろうでない; int1 & fact5 -> int2: その炎天下は同じくしない; int2 & fact9 -> int3: 「この学校間は刷り上がるがしかし同じくしない」ということは誤りだ; int3 & fact10 -> int4: その飲食業は製紙会社である; int4 & fact15 -> int5: その飲食業は近代型食生活であるし製紙会社だ; int5 & fact4 -> int6: その飲食業は特許手続きでない; int6 & fact8 -> int7: 「その陥凹はしょぼくないけれど苦い」ということは成り立たない; int7 & fact1 -> hypothesis;
「あの炎症局所は近代型食生活でない」ということは成り立つ
fact21 -> int8: もし仮にその休木曜が同じくしないならばそれはＰ値であるしそれになめろうである;
$facts$ = fact1: 「その陥凹はしょぼくないけれど苦い」ということは事実と異なるならそれは事務員でない fact2: 「「胸腔な」ものがあればその休木曜はＰ値だということはなくてまたなめろうでない」ということは間違っているということはない fact3: 仮に「その飲食業は同じくしない」ということは事実であるとすると「この学校間は近代型食生活で同じくする」ということは成り立たない fact4: もしその飲食業は近代型食生活であるし製紙会社だとするとそれは特許手続きでない fact5: 仮にその休木曜がＰ値でないし更になめろうでないとすればあの炎天下は同じくしない fact6: もしもその飲食業が刷り上がるけれどそれが特許手続きでないならこの学校間は近代型食生活でない fact7: この業務用モニタは事務員でない fact8: もしもその飲食業は特許手続きでないなら「その陥凹はしょぼくないが苦い」ということは本当であるということはない fact9: 「もしもその炎天下は同じくするということはないなら「この学校間は刷り上がるがしかし同じくしない」ということは誤っている」ということは成り立つ fact10: 「この学校間は刷り上がるけどそれは同じくしない」ということは誤りならその飲食業は製紙会社だ fact11: もしもその炎天下が製紙会社でないならその休木曜は同じくするということはないしそれは刷り上がらない fact12: もし「「その陥凹は刷り上がるけれどそれは同じくしない」ということは成り立たない」ということは事実と異ならないなら「その炎天下はしょぼい」ということは成り立つ fact13: 仮に「その休木曜はＰ値である」ということは正しいとするとあの炎症局所は近代型食生活であるということはない一方で胸腔だ fact14: 「胸腔な」ものはある fact15: その飲食業は近代型食生活である fact16: もしも何かは同じくしないとすればそれはＰ値であるしかつそれはなめろうである fact17: その同欄は同じくするということはない fact18: もしこの学校間が特許手続きであるし製紙会社だとすればその炎天下は製紙会社でない ; $hypothesis$ = その陥凹は事務員だ ; $proof$ = 
fact14 & fact2 -> int1: その休木曜はＰ値でなくてなめろうでない; int1 & fact5 -> int2: その炎天下は同じくしない; int2 & fact9 -> int3: 「この学校間は刷り上がるがしかし同じくしない」ということは誤りだ; int3 & fact10 -> int4: その飲食業は製紙会社である; int4 & fact15 -> int5: その飲食業は近代型食生活であるし製紙会社だ; int5 & fact4 -> int6: その飲食業は特許手続きでない; int6 & fact8 -> int7: 「その陥凹はしょぼくないけれど苦い」ということは成り立たない; int7 & fact1 -> hypothesis; __DISPROVED__
事実1: 「その陥凹はしょぼくないけれど苦い」ということは事実と異なるならそれは事務員でない
事実2: 「「胸腔な」ものがあればその休木曜はＰ値だということはなくてまたなめろうでない」ということは間違っているということはない
事実3: 仮に「その飲食業は同じくしない」ということは事実であるとすると「この学校間は近代型食生活で同じくする」ということは成り立たない
事実4: もしその飲食業は近代型食生活であるし製紙会社だとするとそれは特許手続きでない
事実5: 仮にその休木曜がＰ値でないし更になめろうでないとすればあの炎天下は同じくしない
事実6: もしもその飲食業が刷り上がるけれどそれが特許手続きでないならこの学校間は近代型食生活でない
事実7: この業務用モニタは事務員でない
事実8: もしもその飲食業は特許手続きでないなら「その陥凹はしょぼくないが苦い」ということは本当であるということはない
事実9: 「もしもその炎天下は同じくするということはないなら「この学校間は刷り上がるがしかし同じくしない」ということは誤っている」ということは成り立つ
事実10: 「この学校間は刷り上がるけどそれは同じくしない」ということは誤りならその飲食業は製紙会社だ
事実11: もしもその炎天下が製紙会社でないならその休木曜は同じくするということはないしそれは刷り上がらない
事実12: もし「「その陥凹は刷り上がるけれどそれは同じくしない」ということは成り立たない」ということは事実と異ならないなら「その炎天下はしょぼい」ということは成り立つ
事実13: 仮に「その休木曜はＰ値である」ということは正しいとするとあの炎症局所は近代型食生活であるということはない一方で胸腔だ
事実14: 「胸腔な」ものはある
事実15: その飲食業は近代型食生活である
事実16: もしも何かは同じくしないとすればそれはＰ値であるしかつそれはなめろうである
事実17: その同欄は同じくするということはない
事実18: もしこの学校間が特許手続きであるし製紙会社だとすればその炎天下は製紙会社でない

仮説: その陥凹は事務員だ
1. 事実14と事実2から、推論1: "その休木曜はＰ値でなくてなめろうでない"が導かれる
2. 推論1と事実5から、推論2: "その炎天下は同じくしない"が導かれる
3. 推論2と事実9から、推論3: "「この学校間は刷り上がるがしかし同じくしない」ということは誤りだ"が導かれる
4. 推論3と事実10から、推論4: "その飲食業は製紙会社である"が導かれる
5. 推論4と事実15から、推論5: "その飲食業は近代型食生活であるし製紙会社だ"が導かれる
6. 推論5と事実4から、推論6: "その飲食業は特許手続きでない"が導かれる
7. 推論6と事実8から、推論7: "「その陥凹はしょぼくないけれど苦い」ということは成り立たない"が導かれる
8. 推論7と事実1から、仮説が否定される

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