「もしもこの岩波書店が尤もらしいとしたらあの頭蓋内圧昂進は順応し易い」ということは真実でない
fact1: もしこの岩波書店が流域であるとすればこのトランスデューサは先進工業国でない fact2: もしも「とある物は順応し易くないし更に不完全性定理でない」ということは成り立たないとしたら尤もらしい fact3: その稲作りは順応し易い fact4: 仮にこの岩波書店が先進工業国であるとするとあの頭蓋内圧昂進は尤もらしくないし順応し易いということはない fact5: もしもこのトランスデューサが先進工業国でないしその上流域であるということはないとするとあの頭蓋内圧昂進は順応し易い fact6: あの頭蓋内圧昂進は順応し易くないしかつそれは流域だということはない fact7: 「この岩波書店は改組しない」ということは事実である fact8: もしこの岩波書店が四角いということはないかもしくはそれがすっごいとするとイギリス全土だ fact9: このトランスデューサは先進工業国でない fact10: もしなにかは改組しないとしたら四角くないかそれはすっごい fact11: あの頭蓋内圧昂進は順応し易くないしかつそれは尤もらしくない fact12: もしあの頭蓋内圧昂進が先進工業国であるならこのトランスデューサは尤もらしいということはないしおまけにそれは順応し易いということはない fact13: この兵事は尤もらしい fact14: もしなにかは浸れるなら「順応し易くないし不完全性定理でない」ということは成り立たない fact15: 仮にこの岩波書店が尤もらしいならばこのトランスデューサは先進工業国でなくて流域でない fact16: この岩波書店は流域である fact17: 仮にこのトランスデューサが先進工業国だがしかし流域でないならばあの頭蓋内圧昂進は順応し易い fact18: もし「この岩波書店は順応し易くない」ということは嘘であるとしたらこのトランスデューサは尤もらしくないしそれは流域であるということはない fact19: この岩波書店が尤もらしいとしたらこのトランスデューサは先進工業国でない fact20: もしもこのトランスデューサが順応し易いならばあの頭蓋内圧昂進は尤もらしいということはなくてしかも先進工業国でない
void -> assump1: 以下のように仮定する。この岩波書店は尤もらしい; fact15 & assump1 -> int1: このトランスデューサは先進工業国でないしかつそれは流域でない; int1 & fact5 -> int2: あの頭蓋内圧昂進は順応し易い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact15 & assump1 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact5 -> int2: {B}{c}; [assump1] & int2 -> hypothesis;
この乾燥剤は尤もらしい
fact23 -> int3: もし「この乾燥剤は順応し易いということはないし不完全性定理でない」ということは間違いだとすれば尤もらしい; fact25 -> int4: この乾燥剤は浸れるなら「順応し易いということはないし更に不完全性定理でない」ということは成り立たない; fact22 -> int5: もしもこの岩波書店が改組しないとすればそれは四角くないかまたはすっごい; int5 & fact21 -> int6: この岩波書店は四角くないかもしくはすっごいかどちらもだ; fact24 & int6 -> int7: この岩波書店はイギリス全土だ; int7 -> int8: 「「イギリス全土だ」ということは正しい」物はある;
$facts$ = fact1: もしこの岩波書店が流域であるとすればこのトランスデューサは先進工業国でない fact2: もしも「とある物は順応し易くないし更に不完全性定理でない」ということは成り立たないとしたら尤もらしい fact3: その稲作りは順応し易い fact4: 仮にこの岩波書店が先進工業国であるとするとあの頭蓋内圧昂進は尤もらしくないし順応し易いということはない fact5: もしもこのトランスデューサが先進工業国でないしその上流域であるということはないとするとあの頭蓋内圧昂進は順応し易い fact6: あの頭蓋内圧昂進は順応し易くないしかつそれは流域だということはない fact7: 「この岩波書店は改組しない」ということは事実である fact8: もしこの岩波書店が四角いということはないかもしくはそれがすっごいとするとイギリス全土だ fact9: このトランスデューサは先進工業国でない fact10: もしなにかは改組しないとしたら四角くないかそれはすっごい fact11: あの頭蓋内圧昂進は順応し易くないしかつそれは尤もらしくない fact12: もしあの頭蓋内圧昂進が先進工業国であるならこのトランスデューサは尤もらしいということはないしおまけにそれは順応し易いということはない fact13: この兵事は尤もらしい fact14: もしなにかは浸れるなら「順応し易くないし不完全性定理でない」ということは成り立たない fact15: 仮にこの岩波書店が尤もらしいならばこのトランスデューサは先進工業国でなくて流域でない fact16: この岩波書店は流域である fact17: 仮にこのトランスデューサが先進工業国だがしかし流域でないならばあの頭蓋内圧昂進は順応し易い fact18: もし「この岩波書店は順応し易くない」ということは嘘であるとしたらこのトランスデューサは尤もらしくないしそれは流域であるということはない fact19: この岩波書店が尤もらしいとしたらこのトランスデューサは先進工業国でない fact20: もしもこのトランスデューサが順応し易いならばあの頭蓋内圧昂進は尤もらしいということはなくてしかも先進工業国でない ; $hypothesis$ = 「もしもこの岩波書店が尤もらしいとしたらあの頭蓋内圧昂進は順応し易い」ということは真実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この岩波書店は尤もらしい; fact15 & assump1 -> int1: このトランスデューサは先進工業国でないしかつそれは流域でない; int1 & fact5 -> int2: あの頭蓋内圧昂進は順応し易い; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしこの岩波書店が流域であるとすればこのトランスデューサは先進工業国でない
事実2: もしも「とある物は順応し易くないし更に不完全性定理でない」ということは成り立たないとしたら尤もらしい
事実3: その稲作りは順応し易い
事実4: 仮にこの岩波書店が先進工業国であるとするとあの頭蓋内圧昂進は尤もらしくないし順応し易いということはない
事実5: もしもこのトランスデューサが先進工業国でないしその上流域であるということはないとするとあの頭蓋内圧昂進は順応し易い
事実6: あの頭蓋内圧昂進は順応し易くないしかつそれは流域だということはない
事実7: 「この岩波書店は改組しない」ということは事実である
事実8: もしこの岩波書店が四角いということはないかもしくはそれがすっごいとするとイギリス全土だ
事実9: このトランスデューサは先進工業国でない
事実10: もしなにかは改組しないとしたら四角くないかそれはすっごい
事実11: あの頭蓋内圧昂進は順応し易くないしかつそれは尤もらしくない
事実12: もしあの頭蓋内圧昂進が先進工業国であるならこのトランスデューサは尤もらしいということはないしおまけにそれは順応し易いということはない
事実13: この兵事は尤もらしい
事実14: もしなにかは浸れるなら「順応し易くないし不完全性定理でない」ということは成り立たない
事実15: 仮にこの岩波書店が尤もらしいならばこのトランスデューサは先進工業国でなくて流域でない
事実16: この岩波書店は流域である
事実17: 仮にこのトランスデューサが先進工業国だがしかし流域でないならばあの頭蓋内圧昂進は順応し易い
事実18: もし「この岩波書店は順応し易くない」ということは嘘であるとしたらこのトランスデューサは尤もらしくないしそれは流域であるということはない
事実19: この岩波書店が尤もらしいとしたらこのトランスデューサは先進工業国でない
事実20: もしもこのトランスデューサが順応し易いならばあの頭蓋内圧昂進は尤もらしいということはなくてしかも先進工業国でない

仮説: 「もしもこの岩波書店が尤もらしいとしたらあの頭蓋内圧昂進は順応し易い」ということは真実でない
1. 仮定1: 以下のように仮定する。この岩波書店は尤もらしい
2. 事実15と仮定1から、推論1: "このトランスデューサは先進工業国でないしかつそれは流域でない"が導かれる
3. 推論1と事実5から、推論2: "あの頭蓋内圧昂進は順応し易い"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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