このロブ・ベーコンは思しくない
fact1: もし仮に邪魔臭いものが格好良いならそれは御達しない fact2: もし仮にある物は下げでないなら発情する fact3: あの歴代宝案は変装する fact4: 仮にあの歴代宝案が絶え難いとすればこのロブ・ベーコンは思しい fact5: なにかは御達しないなら「か弱くないし更にそれは生徒さんでない」ということは成り立たない fact6: 思しい物は変装する fact7: もし仮に「「「か弱くないし生徒さんでない」ということは成り立つ」ということは成り立たない」物があればその陸・海・空は下げでない fact8: 仮に「発情する」物があるならばあの歴代宝案は思しいかあるいは絶え難い fact9: 仮に「あの歴代宝案は変装する」ということは嘘であるということはないとしたらこのロブ・ベーコンは変装する fact10: あの手提げは邪魔臭くてさらにそれは格好良い fact11: あの歴代宝案は変装するし絶え難い fact12: なにかは絶え難いとすれば変装する
fact11 -> int1: あの歴代宝案は絶え難い; int1 & fact4 -> hypothesis;
このロブ・ベーコンは変装する
fact17 -> int2: その陸・海・空は下げであるということはないとすれば「発情する」ということは本当である; fact15 -> int3: もしもあの手提げは御達しないとすれば「か弱くないしかつ生徒さんでない」ということは間違っている; fact20 -> int4: もしもあの手提げは邪魔臭いし更に格好良いならばそれは御達しない; int4 & fact18 -> int5: 「あの手提げは御達しない」ということは事実である; int3 & int5 -> int6: 「あの手提げはか弱くないしその上生徒さんであるということはない」ということは成り立つということはない; int6 -> int7: 「「か弱くないし生徒さんだということはない」ということは間違っている」ものはある; int7 & fact16 -> int8: その陸・海・空は下げであるということはない; int2 & int8 -> int9: その陸・海・空は発情する; int9 -> int10: 「発情する」ものはある; int10 & fact19 -> int11: あの歴代宝案は思しいかもしくはそれは絶え難いかあるいは両方だ; fact21 -> int12: もしあの歴代宝案が思しいとするとそれは変装する; fact13 -> int13: もし仮にあの歴代宝案が絶え難いとしたらそれは変装する; int11 & int12 & int13 -> int14: あの歴代宝案は変装する; fact14 & int14 -> hypothesis;
$facts$ = fact1: もし仮に邪魔臭いものが格好良いならそれは御達しない fact2: もし仮にある物は下げでないなら発情する fact3: あの歴代宝案は変装する fact4: 仮にあの歴代宝案が絶え難いとすればこのロブ・ベーコンは思しい fact5: なにかは御達しないなら「か弱くないし更にそれは生徒さんでない」ということは成り立たない fact6: 思しい物は変装する fact7: もし仮に「「「か弱くないし生徒さんでない」ということは成り立つ」ということは成り立たない」物があればその陸・海・空は下げでない fact8: 仮に「発情する」物があるならばあの歴代宝案は思しいかあるいは絶え難い fact9: 仮に「あの歴代宝案は変装する」ということは嘘であるということはないとしたらこのロブ・ベーコンは変装する fact10: あの手提げは邪魔臭くてさらにそれは格好良い fact11: あの歴代宝案は変装するし絶え難い fact12: なにかは絶え難いとすれば変装する ; $hypothesis$ = このロブ・ベーコンは思しくない ; $proof$ = 
fact11 -> int1: あの歴代宝案は絶え難い; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮に邪魔臭いものが格好良いならそれは御達しない
事実2: もし仮にある物は下げでないなら発情する
事実3: あの歴代宝案は変装する
事実4: 仮にあの歴代宝案が絶え難いとすればこのロブ・ベーコンは思しい
事実5: なにかは御達しないなら「か弱くないし更にそれは生徒さんでない」ということは成り立たない
事実6: 思しい物は変装する
事実7: もし仮に「「「か弱くないし生徒さんでない」ということは成り立つ」ということは成り立たない」物があればその陸・海・空は下げでない
事実8: 仮に「発情する」物があるならばあの歴代宝案は思しいかあるいは絶え難い
事実9: 仮に「あの歴代宝案は変装する」ということは嘘であるということはないとしたらこのロブ・ベーコンは変装する
事実10: あの手提げは邪魔臭くてさらにそれは格好良い
事実11: あの歴代宝案は変装するし絶え難い
事実12: なにかは絶え難いとすれば変装する

仮説: このロブ・ベーコンは思しくない
1. 事実11から、推論1: "あの歴代宝案は絶え難い"が導かれる
2. 推論1と事実4から、仮説が否定される

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