「あの第八航空軍は寝込まないかそれは海外基地でない」ということは成り立つということはない
fact1: 「あの甲社は近しない」ということは事実だ fact2: もしも「何らかのものは爆撃するということはないし加えて婚約しない」ということは成り立たないならそれは爆撃する fact3: 仮にあの甲社は近しないがしかし打ち殺せば小暗い fact4: 「あのタイル張りは当該審査であるしその上それは爆撃する」ということは誤りである fact5: そのへしこが豊田ウェイであるならあのタイル張りは貧しい fact6: 「「在宅ケア連絡会でないけど根深さだ」ということは間違いな」ものがあるとしたらそのへしこは根深さであるということはない fact7: あのタイル張りは貧しいとすれば「その五馬身差は爆撃しなくてしかも婚約しない」ということは間違いである fact8: もしも「そのへしこは寝込まない」ということは偽でないとするとあの第八航空軍は寝込まないかあるいはそれは海外基地であるか両方ともである fact9: 仮に「あのタイル張りは当該審査でないけど爆撃する」ということは間違いであるならそのへしこは寝込まない fact10: もし「「解任するということはないけれど業績点である」ということは間違いな」物があるとしたらその五馬身差は当該審査だ fact11: もしもあの甲社が小暗いならばこの公定平価は小暗い fact12: 仮にこの公定平価が小暗いとすればあのハーブティは返済しない fact13: 仮に「「爆撃しなくておまけに当該審査である」ということは成り立たない」ものがあるとすればあの五馬身差は寝込む fact14: もしもそのへしこが寝込まないとしたらあの第八航空軍は寝込むということはないかもしくはそれは海外基地だということはない fact15: その五馬身差は当該審査であるなら「あのタイル張りは当該審査でないけど爆撃する」ということは誤っている fact16: もしなにがしかのものが根深さでないとすればそれは貧しいかもしくは豊田ウェイである fact17: 「「その犯罪行為は解任するということはないけれど業績点である」ということは成り立つということはない」ということは成り立つ fact18: もし仮に何らかのものは返済しないなら「それは在宅ケア連絡会でないけれど根深さである」ということは成り立たない fact19: もしもなんらかの物は当該審査でないならば「寝込まないか海外基地でないか両方ともである」ということは成り立たない fact20: もし仮に「そのへしこは貧しい」ということは成り立つとしたらあのタイル張りは貧しい fact21: 仮にあのタイル張りが当該審査だとしたらそのへしこは寝込むということはない fact22: 「解任しなくて業績点な」ものはある fact23: あの甲社は打ち殺す
fact17 -> int1: 「「解任するということはないがしかし業績点だ」ということは間違っている」ものはある; int1 & fact10 -> int2: その五馬身差は当該審査である; int2 & fact15 -> int3: 「あのタイル張りは当該審査でないけれど爆撃する」ということは成り立たない; int3 & fact9 -> int4: そのへしこは寝込まない; int4 & fact14 -> hypothesis;
「あの第八航空軍は寝込まないかもしくは海外基地だということはないかどちらもである」ということは事実と異なる
fact25 -> int5: 仮にあの第八航空軍は当該審査でないなら「寝込まないかもしくは海外基地でない」ということは成り立たない; fact27 -> int6: 「その五馬身差は爆撃しなくて婚約しない」ということは成り立たないとしたら爆撃する; fact29 -> int7: 仮に「そのへしこは根深さだ」ということは成り立たないとしたら貧しいか豊田ウェイである; fact30 -> int8: 仮にそのハーブティは返済しないとすれば「それは在宅ケア連絡会でないしおまけにそれは根深さだ」ということは成り立たない; fact31 & fact28 -> int9: あの甲社は近しないが打ち殺す; fact24 & int9 -> int10: あの甲社は小暗い; fact32 & int10 -> int11: 「この公定平価は小暗い」ということは成り立つ; fact34 & int11 -> int12: そのハーブティは返済しない; int8 & int12 -> int13: 「そのハーブティは在宅ケア連絡会でないがしかし根深さだ」ということは成り立たない; int13 -> int14: 「「在宅ケア連絡会でなくて加えて根深さだ」ということは嘘な」物はある; int14 & fact33 -> int15: そのへしこは根深さであるということはない; int7 & int15 -> int16: そのへしこは貧しいかあるいは豊田ウェイであるかまたは両方ともである; int16 & fact35 & fact26 -> int17: あのタイル張りは貧しい; fact36 & int17 -> int18: 「その五馬身差は爆撃しないし婚約するということはない」ということは成り立たない; int6 & int18 -> int19: その五馬身差は爆撃する; int19 -> int20: 「爆撃する」物はある;
$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$ = 
fact17 -> int1: 「「解任するということはないがしかし業績点だ」ということは間違っている」ものはある; int1 & fact10 -> int2: その五馬身差は当該審査である; int2 & fact15 -> int3: 「あのタイル張りは当該審査でないけれど爆撃する」ということは成り立たない; int3 & fact9 -> int4: そのへしこは寝込まない; int4 & fact14 -> 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. 事実17から、推論1: "「「解任するということはないがしかし業績点だ」ということは間違っている」ものはある"が導かれる
2. 推論1と事実10から、推論2: "その五馬身差は当該審査である"が導かれる
3. 推論2と事実15から、推論3: "「あのタイル張りは当該審査でないけれど爆撃する」ということは成り立たない"が導かれる
4. 推論3と事実9から、推論4: "そのへしこは寝込まない"が導かれる
5. 推論4と事実14から、仮説が否定される

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