あの制癌剤は地獄道でない
fact1: あの制癌剤は冷め難い fact2: その術衣は国際入札でないかばあかしいかあるいは両方ともだ fact3: その術衣は国際入札でないか冷め難いかあるいは両方ともである fact4: その術衣は国際入札であるかあるいは冷め難い fact5: あの制癌剤はバイタリティだ fact6: 仮にその術衣が地獄道であるし見透かすとすると「あの制癌剤は地獄道でない」ということは成り立つ fact7: 「もし仮にその術衣が見透かすとするとあの制癌剤は地獄道だ」ということは本当である fact8: もしなんらかのものは地獄道であるなら見透かす fact9: なんらかの物が代位行使しないならば監視出来ないか青いかまたは両方ともだ fact10: もし仮に「「読まさなくてしかも騙る」ということは嘘である」ものがあるとしたらあの第一汽車は地獄道である fact11: あの制癌剤は国際入札である fact12: 「あの制癌剤は代位行使するがしかし転売しない」ということは成り立つということはないとするとその術衣は代位行使しない fact13: もし何らかのものは監視出来ないとしたら「それは読まさないししかもそれは騙る」ということは成り立つということはない fact14: 仮に何かは忙しいなら「それは代位行使するしまたそれは転売しない」ということは嘘である fact15: 仮にあの制癌剤は地獄道でないかあるいは国際入札であるかどちらもならば「見透かす」ということは事実だ fact16: もしその術衣は国際入札でないかもしくは冷め難いかあるいは両方ともであるなら見透かす fact17: 何らかの物が騙るということはないならばそれは地獄道であるしまた見透かす fact18: もしも何らかの物は監視出来ないかあるいは青いかあるいはどちらもであるとすればそれは監視出来るということはない fact19: バイタリティは忙しい fact20: 仮にその術衣は国際入札でないならば見透かす
fact16 & fact3 -> int1: その術衣は見透かす; int1 & fact7 -> hypothesis;
あの第一汽車は見透かす
fact26 -> int2: 仮にあの第一汽車は地獄道であるならそれは見透かす; fact21 -> int3: もし仮にその術衣は監視出来ないならば「読まさないけれど騙る」ということは成り立たない; fact23 -> int4: その術衣が監視出来るということはないか青いとすればそれは監視出来ない; fact29 -> int5: もし仮にその術衣が代位行使するということはないならばそれは監視出来ないか青いかもしくは両方ともだ; fact27 -> int6: あの制癌剤は忙しいならば「それは代位行使する一方で転売しない」ということは成り立たない; fact24 -> int7: もし仮にあの制癌剤がバイタリティなら忙しい; int7 & fact25 -> int8: あの制癌剤は忙しい; int6 & int8 -> int9: 「あの制癌剤は代位行使する一方で転売しない」ということは成り立たない; fact28 & int9 -> int10: その術衣は代位行使するということはない; int5 & int10 -> int11: その術衣は監視出来ないか青いかもしくは両方だ; int4 & int11 -> int12: その術衣は監視出来ない; int3 & int12 -> int13: 「その術衣は読まさないけどそれは騙る」ということは成り立たない; int13 -> int14: 「「読まさないし騙る」ということは成り立たない」ものはある; int14 & fact22 -> int15: あの第一汽車は地獄道だ; int2 & int15 -> hypothesis;
$facts$ = fact1: あの制癌剤は冷め難い fact2: その術衣は国際入札でないかばあかしいかあるいは両方ともだ fact3: その術衣は国際入札でないか冷め難いかあるいは両方ともである fact4: その術衣は国際入札であるかあるいは冷め難い fact5: あの制癌剤はバイタリティだ fact6: 仮にその術衣が地獄道であるし見透かすとすると「あの制癌剤は地獄道でない」ということは成り立つ fact7: 「もし仮にその術衣が見透かすとするとあの制癌剤は地獄道だ」ということは本当である fact8: もしなんらかのものは地獄道であるなら見透かす fact9: なんらかの物が代位行使しないならば監視出来ないか青いかまたは両方ともだ fact10: もし仮に「「読まさなくてしかも騙る」ということは嘘である」ものがあるとしたらあの第一汽車は地獄道である fact11: あの制癌剤は国際入札である fact12: 「あの制癌剤は代位行使するがしかし転売しない」ということは成り立つということはないとするとその術衣は代位行使しない fact13: もし何らかのものは監視出来ないとしたら「それは読まさないししかもそれは騙る」ということは成り立つということはない fact14: 仮に何かは忙しいなら「それは代位行使するしまたそれは転売しない」ということは嘘である fact15: 仮にあの制癌剤は地獄道でないかあるいは国際入札であるかどちらもならば「見透かす」ということは事実だ fact16: もしその術衣は国際入札でないかもしくは冷め難いかあるいは両方ともであるなら見透かす fact17: 何らかの物が騙るということはないならばそれは地獄道であるしまた見透かす fact18: もしも何らかの物は監視出来ないかあるいは青いかあるいはどちらもであるとすればそれは監視出来るということはない fact19: バイタリティは忙しい fact20: 仮にその術衣は国際入札でないならば見透かす ; $hypothesis$ = あの制癌剤は地獄道でない ; $proof$ = 
fact16 & fact3 -> int1: その術衣は見透かす; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: あの制癌剤は冷め難い
事実2: その術衣は国際入札でないかばあかしいかあるいは両方ともだ
事実3: その術衣は国際入札でないか冷め難いかあるいは両方ともである
事実4: その術衣は国際入札であるかあるいは冷め難い
事実5: あの制癌剤はバイタリティだ
事実6: 仮にその術衣が地獄道であるし見透かすとすると「あの制癌剤は地獄道でない」ということは成り立つ
事実7: 「もし仮にその術衣が見透かすとするとあの制癌剤は地獄道だ」ということは本当である
事実8: もしなんらかのものは地獄道であるなら見透かす
事実9: なんらかの物が代位行使しないならば監視出来ないか青いかまたは両方ともだ
事実10: もし仮に「「読まさなくてしかも騙る」ということは嘘である」ものがあるとしたらあの第一汽車は地獄道である
事実11: あの制癌剤は国際入札である
事実12: 「あの制癌剤は代位行使するがしかし転売しない」ということは成り立つということはないとするとその術衣は代位行使しない
事実13: もし何らかのものは監視出来ないとしたら「それは読まさないししかもそれは騙る」ということは成り立つということはない
事実14: 仮に何かは忙しいなら「それは代位行使するしまたそれは転売しない」ということは嘘である
事実15: 仮にあの制癌剤は地獄道でないかあるいは国際入札であるかどちらもならば「見透かす」ということは事実だ
事実16: もしその術衣は国際入札でないかもしくは冷め難いかあるいは両方ともであるなら見透かす
事実17: 何らかの物が騙るということはないならばそれは地獄道であるしまた見透かす
事実18: もしも何らかの物は監視出来ないかあるいは青いかあるいはどちらもであるとすればそれは監視出来るということはない
事実19: バイタリティは忙しい
事実20: 仮にその術衣は国際入札でないならば見透かす

仮説: あの制癌剤は地獄道でない
1. 事実16と事実3から、推論1: "その術衣は見透かす"が導かれる
2. 推論1と事実7から、仮説が否定される

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