「この短波長は放くかまたはそれはみみっちい」ということは事実と異なる
fact1: もし仮に「そのさせ方はしいんとするということはないしそれにそれは毒々しかない」ということは成り立たないならそれは縒り合わせるということはない fact2: 仮に「あの生け垣はロータリアンであるということはないしその上小気味良くない」ということは間違っているならそのさせ方はロータリアンでない fact3: もし「「感じ出さないけれど思い至る」ということは間違っている」物があるならばあの生け垣は新しい fact4: 仮にそのさせ方が縒り合わせればこの短波長は放く fact5: もし仮になんらかの物は新しいなら「ロータリアンだということはないしかつそれは小気味良くない」ということは成り立たない fact6: もしも「この短波長はしいんとするしその上縒り合わせる」ということは嘘であるなら「縒り合わせない」ということは成り立つ fact7: その新生児評価は縒り合わせる fact8: 何もかもは嫉妬深くない fact9: なにかは嫉妬深くないとしたら「それは感じ出さないしまた思い至る」ということは間違っている fact10: この短波長は縒り合わせる fact11: そのさせ方は縒り合わせる fact12: そのチミン同士は放く fact13: ある物は縒り合わせないとすると「この短波長は放くかみみっちいかどちらもである」ということは誤りだ fact14: 「この小上がりはみみっちい」ということは真実だ fact15: 仮に何らかの物は縒り合わせないなら「それは放くかもしくはそれはみみっちい」ということは誤っている
fact4 & fact11 -> int1: この短波長は放く; int1 -> hypothesis;
「この短波長は放くかもしくはみみっちいかもしくは両方だ」ということは間違っている
$facts$ = fact1: もし仮に「そのさせ方はしいんとするということはないしそれにそれは毒々しかない」ということは成り立たないならそれは縒り合わせるということはない fact2: 仮に「あの生け垣はロータリアンであるということはないしその上小気味良くない」ということは間違っているならそのさせ方はロータリアンでない fact3: もし「「感じ出さないけれど思い至る」ということは間違っている」物があるならばあの生け垣は新しい fact4: 仮にそのさせ方が縒り合わせればこの短波長は放く fact5: もし仮になんらかの物は新しいなら「ロータリアンだということはないしかつそれは小気味良くない」ということは成り立たない fact6: もしも「この短波長はしいんとするしその上縒り合わせる」ということは嘘であるなら「縒り合わせない」ということは成り立つ fact7: その新生児評価は縒り合わせる fact8: 何もかもは嫉妬深くない fact9: なにかは嫉妬深くないとしたら「それは感じ出さないしまた思い至る」ということは間違っている fact10: この短波長は縒り合わせる fact11: そのさせ方は縒り合わせる fact12: そのチミン同士は放く fact13: ある物は縒り合わせないとすると「この短波長は放くかみみっちいかどちらもである」ということは誤りだ fact14: 「この小上がりはみみっちい」ということは真実だ fact15: 仮に何らかの物は縒り合わせないなら「それは放くかもしくはそれはみみっちい」ということは誤っている ; $hypothesis$ = 「この短波長は放くかまたはそれはみみっちい」ということは事実と異なる ; $proof$ = 
fact4 & fact11 -> int1: この短波長は放く; int1 -> hypothesis; __DISPROVED__
事実1: もし仮に「そのさせ方はしいんとするということはないしそれにそれは毒々しかない」ということは成り立たないならそれは縒り合わせるということはない
事実2: 仮に「あの生け垣はロータリアンであるということはないしその上小気味良くない」ということは間違っているならそのさせ方はロータリアンでない
事実3: もし「「感じ出さないけれど思い至る」ということは間違っている」物があるならばあの生け垣は新しい
事実4: 仮にそのさせ方が縒り合わせればこの短波長は放く
事実5: もし仮になんらかの物は新しいなら「ロータリアンだということはないしかつそれは小気味良くない」ということは成り立たない
事実6: もしも「この短波長はしいんとするしその上縒り合わせる」ということは嘘であるなら「縒り合わせない」ということは成り立つ
事実7: その新生児評価は縒り合わせる
事実8: 何もかもは嫉妬深くない
事実9: なにかは嫉妬深くないとしたら「それは感じ出さないしまた思い至る」ということは間違っている
事実10: この短波長は縒り合わせる
事実11: そのさせ方は縒り合わせる
事実12: そのチミン同士は放く
事実13: ある物は縒り合わせないとすると「この短波長は放くかみみっちいかどちらもである」ということは誤りだ
事実14: 「この小上がりはみみっちい」ということは真実だ
事実15: 仮に何らかの物は縒り合わせないなら「それは放くかもしくはそれはみみっちい」ということは誤っている

仮説: 「この短波長は放くかまたはそれはみみっちい」ということは事実と異なる
1. 事実4と事実11から、推論1: "この短波長は放く"が導かれる
2. 推論1から、仮説が否定される

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