このグレン・グールドは手子摺る
fact1: あのミニトマトは書き切れれば「このグレン・グールドは進め易いがしかし狭苦しくない」ということは成り立たない fact2: あのミニトマトは進め易くない fact3: もしあのミニトマトが狭苦しくないし更にそれは書き切れないとしたら「その臥所は突っ返す」ということは真実だ fact4: その臥所は書き切れない fact5: あのミニトマトは兼営しない fact6: 仮にあのミニトマトが見窄らしいけど兼営しないとすれば「書き切れない」ということは事実だ fact7: あのてかりが官園でおまけにそれがイスラム圏であるならこのグレン・グールドは手子摺るということはない fact8: あのミニトマトは見窄らしいがしかしそれは兼営するということはない fact9: 仮にあのミニトマトは見窄らしいし兼営するとすればそれは書き切れない fact10: あのミニトマトは突っ返す fact11: もし仮にあのミニトマトが狭苦しいならそれは進め易い fact12: 仮にイスラム圏が突っ返すということはないなら書き切れる fact13: ある物は兼営しないがそれは手子摺る fact14: その臥所は長官でない fact15: 仮に「何かは進め易いけどそれは狭苦しいということはない」ということは誤っているとすれば手子摺る fact16: 「とあるものは兼営しないけれど手子摺る」ということは事実だとすると「その臥所は官園でない」ということは成り立つ fact17: このグレン・グールドは押さえ難いけど称揚しない fact18: あのてかりは官園である fact19: その臥所は手子摺らない fact20: もしもあのミニトマトが突っ返すししかもそれが手子摺ればこのグレン・グールドは狭苦しくない fact21: あの農家は手子摺らない fact22: 仮にあのてかりが見窄らしいし更に官園だとすると「その臥所は官園でない」ということは真実である fact23: 狭苦しくない物は官園でない fact24: もし仮になんらかの物は狭苦しいならば「それは手子摺る」ということは事実だ fact25: もしもあのミニトマトがイスラム圏でないし突っ返すということはないならこのグレン・グールドは突っ返さない fact26: もしもその臥所が突っ返すとするとあのてかりはイスラム圏だ fact27: あの天然物質は粉っぽいけど集まり易くない
void -> assump1: 以下のように仮定する。あのミニトマトは狭苦しい; fact11 & assump1 -> int1: 「あのミニトマトは進め易い」ということは本当である; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのミニトマトは狭苦しいということはない; fact6 & fact8 -> int4: あのミニトマトは書き切れない; int3 & int4 -> int5: あのミニトマトは狭苦しくないし書き切れない; int5 & fact3 -> int6: その臥所は突っ返す; int6 & fact26 -> int7: あのてかりはイスラム圏である; int7 & fact18 -> int8: あのてかりは官園でしかもイスラム圏だ; int8 & fact7 -> hypothesis;
このグレン・グールドは手子摺る
fact29 -> int9: 「このグレン・グールドは狭苦しい」ということは成り立つとすると手子摺る;
$facts$ = fact1: あのミニトマトは書き切れれば「このグレン・グールドは進め易いがしかし狭苦しくない」ということは成り立たない fact2: あのミニトマトは進め易くない fact3: もしあのミニトマトが狭苦しくないし更にそれは書き切れないとしたら「その臥所は突っ返す」ということは真実だ fact4: その臥所は書き切れない fact5: あのミニトマトは兼営しない fact6: 仮にあのミニトマトが見窄らしいけど兼営しないとすれば「書き切れない」ということは事実だ fact7: あのてかりが官園でおまけにそれがイスラム圏であるならこのグレン・グールドは手子摺るということはない fact8: あのミニトマトは見窄らしいがしかしそれは兼営するということはない fact9: 仮にあのミニトマトは見窄らしいし兼営するとすればそれは書き切れない fact10: あのミニトマトは突っ返す fact11: もし仮にあのミニトマトが狭苦しいならそれは進め易い fact12: 仮にイスラム圏が突っ返すということはないなら書き切れる fact13: ある物は兼営しないがそれは手子摺る fact14: その臥所は長官でない fact15: 仮に「何かは進め易いけどそれは狭苦しいということはない」ということは誤っているとすれば手子摺る fact16: 「とあるものは兼営しないけれど手子摺る」ということは事実だとすると「その臥所は官園でない」ということは成り立つ fact17: このグレン・グールドは押さえ難いけど称揚しない fact18: あのてかりは官園である fact19: その臥所は手子摺らない fact20: もしもあのミニトマトが突っ返すししかもそれが手子摺ればこのグレン・グールドは狭苦しくない fact21: あの農家は手子摺らない fact22: 仮にあのてかりが見窄らしいし更に官園だとすると「その臥所は官園でない」ということは真実である fact23: 狭苦しくない物は官園でない fact24: もし仮になんらかの物は狭苦しいならば「それは手子摺る」ということは事実だ fact25: もしもあのミニトマトがイスラム圏でないし突っ返すということはないならこのグレン・グールドは突っ返さない fact26: もしもその臥所が突っ返すとするとあのてかりはイスラム圏だ fact27: あの天然物質は粉っぽいけど集まり易くない ; $hypothesis$ = このグレン・グールドは手子摺る ; $proof$ = 
void -> assump1: 以下のように仮定する。あのミニトマトは狭苦しい; fact11 & assump1 -> int1: 「あのミニトマトは進め易い」ということは本当である; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのミニトマトは狭苦しいということはない; fact6 & fact8 -> int4: あのミニトマトは書き切れない; int3 & int4 -> int5: あのミニトマトは狭苦しくないし書き切れない; int5 & fact3 -> int6: その臥所は突っ返す; int6 & fact26 -> int7: あのてかりはイスラム圏である; int7 & fact18 -> int8: あのてかりは官園でしかもイスラム圏だ; int8 & fact7 -> 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: 狭苦しくない物は官園でない
事実24: もし仮になんらかの物は狭苦しいならば「それは手子摺る」ということは事実だ
事実25: もしもあのミニトマトがイスラム圏でないし突っ返すということはないならこのグレン・グールドは突っ返さない
事実26: もしもその臥所が突っ返すとするとあのてかりはイスラム圏だ
事実27: あの天然物質は粉っぽいけど集まり易くない

仮説: このグレン・グールドは手子摺る
1. 仮定1: 以下のように仮定する。あのミニトマトは狭苦しい
2. 事実11と仮定1から、推論1: "「あのミニトマトは進め易い」ということは本当である"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あのミニトマトは狭苦しいということはない"が導かれる
5. 事実6と事実8から、推論4: "あのミニトマトは書き切れない"が導かれる
6. 推論3と推論4から、推論5: "あのミニトマトは狭苦しくないし書き切れない"が導かれる
7. 推論5と事実3から、推論6: "その臥所は突っ返す"が導かれる
8. 推論6と事実26から、推論7: "あのてかりはイスラム圏である"が導かれる
9. 推論7と事実18から、推論8: "あのてかりは官園でしかもイスラム圏だ"が導かれる
10. 推論8と事実7から、仮説が否定される

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