「この砂鉄取りマシーンは岩穴でない一方で歩き辛い」ということは間違いだ
fact1: もし仮に「あるものは危なくないが片付け始める」ということは偽ならばそれは眠くない fact2: どれもこれもは侵食するしおまけにそれは算定しない fact3: もしも「その御由利坊は片付け始めない」ということは確かであるとすれば「「その電話相談は危なくないけど片付け始める」ということは事実である」ということは成り立たない fact4: もし仮に何かは危ないならば「眠くない」ということは本当である fact5: もし「その電話相談は侵食する」ということは成り立つならばあの砂鉄取りマシーンは侵食する fact6: この砂鉄取りマシーンは歩き辛い fact7: その御由利坊は侵食する fact8: 「その電話相談が危ないしその上それは片付け始める」ということは成り立たない fact9: あの唯仏是真が愛好するならばあの本地は宣わないがしかし振り回す fact10: 仮にあの唯仏是真が危ないということはないならばその電話相談は片付け始めない一方で愛好する fact11: あの唯仏是真が愛好するとすればあの本地は振り回す fact12: 「この砂鉄取りマシーンは侵食しないけど歩き辛い」ということは成り立つということはないならばそれは宣わない fact13: もしその電話相談は眠くないならば「あの唯仏是真は愛好する」ということは真実だ fact14: もし「この砂鉄取りマシーンは岩穴だということはないけれど眠い」ということは成り立たないなら算定しない fact15: もしもあの本地が宣わないとすればこの砂鉄取りマシーンは歩き辛い fact16: もしその電話相談は危ないなら「それは眠くない」ということは事実である fact17: もし仮にその御由利坊は片付け始めないとしたら「その電話相談は危なくてさらに片付け始める」ということは間違っている fact18: 仮にその御由利坊が侵食するけどそれが算定しないとすると片付け始めない fact19: もし仮に「あの本地は危なくない」ということは誤っていないとしたらその電話相談は振り回す fact20: 何もかもは侵食する fact21: もし仮に「その電話相談は算定する一方で眠くない」ということは成り立たないならばそれは算定しない fact22: あの本地は振り回す fact23: あの本地が宣わないとすればこの砂鉄取りマシーンは岩穴でないけど歩き辛い
fact2 -> int1: その御由利坊は侵食するけれど算定しない; int1 & fact18 -> int2: その御由利坊は片付け始めるということはない; int2 & fact3 -> int3: 「その電話相談は危ないということはない一方で片付け始める」ということは嘘だ; fact1 -> int4: 「「その電話相談は危なくないけどそれは片付け始める」ということは偽である」ということは正しいとすると眠くない; int3 & int4 -> int5: その電話相談は眠くない; int5 & fact13 -> int6: あの唯仏是真は愛好する; int6 & fact9 -> int7: あの本地は宣わないがしかしそれは振り回す; int7 -> int8: あの本地は宣わない; int8 & fact23 -> hypothesis;
「この砂鉄取りマシーンは岩穴でないがしかし歩き辛い」ということは成り立たない
$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$ = 
fact2 -> int1: その御由利坊は侵食するけれど算定しない; int1 & fact18 -> int2: その御由利坊は片付け始めるということはない; int2 & fact3 -> int3: 「その電話相談は危ないということはない一方で片付け始める」ということは嘘だ; fact1 -> int4: 「「その電話相談は危なくないけどそれは片付け始める」ということは偽である」ということは正しいとすると眠くない; int3 & int4 -> int5: その電話相談は眠くない; int5 & fact13 -> int6: あの唯仏是真は愛好する; int6 & fact9 -> int7: あの本地は宣わないがしかしそれは振り回す; int7 -> int8: あの本地は宣わない; int8 & fact23 -> hypothesis; __DISPROVED__
事実1: もし仮に「あるものは危なくないが片付け始める」ということは偽ならばそれは眠くない
事実2: どれもこれもは侵食するしおまけにそれは算定しない
事実3: もしも「その御由利坊は片付け始めない」ということは確かであるとすれば「「その電話相談は危なくないけど片付け始める」ということは事実である」ということは成り立たない
事実4: もし仮に何かは危ないならば「眠くない」ということは本当である
事実5: もし「その電話相談は侵食する」ということは成り立つならばあの砂鉄取りマシーンは侵食する
事実6: この砂鉄取りマシーンは歩き辛い
事実7: その御由利坊は侵食する
事実8: 「その電話相談が危ないしその上それは片付け始める」ということは成り立たない
事実9: あの唯仏是真が愛好するならばあの本地は宣わないがしかし振り回す
事実10: 仮にあの唯仏是真が危ないということはないならばその電話相談は片付け始めない一方で愛好する
事実11: あの唯仏是真が愛好するとすればあの本地は振り回す
事実12: 「この砂鉄取りマシーンは侵食しないけど歩き辛い」ということは成り立つということはないならばそれは宣わない
事実13: もしその電話相談は眠くないならば「あの唯仏是真は愛好する」ということは真実だ
事実14: もし「この砂鉄取りマシーンは岩穴だということはないけれど眠い」ということは成り立たないなら算定しない
事実15: もしもあの本地が宣わないとすればこの砂鉄取りマシーンは歩き辛い
事実16: もしその電話相談は危ないなら「それは眠くない」ということは事実である
事実17: もし仮にその御由利坊は片付け始めないとしたら「その電話相談は危なくてさらに片付け始める」ということは間違っている
事実18: 仮にその御由利坊が侵食するけどそれが算定しないとすると片付け始めない
事実19: もし仮に「あの本地は危なくない」ということは誤っていないとしたらその電話相談は振り回す
事実20: 何もかもは侵食する
事実21: もし仮に「その電話相談は算定する一方で眠くない」ということは成り立たないならばそれは算定しない
事実22: あの本地は振り回す
事実23: あの本地が宣わないとすればこの砂鉄取りマシーンは岩穴でないけど歩き辛い

仮説: 「この砂鉄取りマシーンは岩穴でない一方で歩き辛い」ということは間違いだ
1. 事実2から、推論1: "その御由利坊は侵食するけれど算定しない"が導かれる
2. 推論1と事実18から、推論2: "その御由利坊は片付け始めるということはない"が導かれる
3. 推論2と事実3から、推論3: "「その電話相談は危ないということはない一方で片付け始める」ということは嘘だ"が導かれる
4. 事実1から、推論4: "「「その電話相談は危なくないけどそれは片付け始める」ということは偽である」ということは正しいとすると眠くない"が導かれる
5. 推論3と推論4から、推論5: "その電話相談は眠くない"が導かれる
6. 推論5と事実13から、推論6: "あの唯仏是真は愛好する"が導かれる
7. 推論6と事実9から、推論7: "あの本地は宣わないがしかしそれは振り回す"が導かれる
8. 推論7から、推論8: "あの本地は宣わない"が導かれる
9. 推論8と事実23から、仮説が否定される

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