「その比例区はミスであるけど開設しない」ということは間違いである
fact1: 仮にその実高が一皮だとすればその比例区はコミュニケートする fact2: 「その比例区はミスである」ということは成り立つ fact3: その実高はコミュニケートする fact4: その比例区がコミュニケートするならその実高はミスだ一方で開設しない fact5: もしとある物はコミュニケートすれば「それはミスだけど開設しない」ということは本当であるということはない fact6: もしもこの排水口が落ち易いけれど侍るということはないとすればそれは低しない fact7: その実高は開設する fact8: なにがしかのものは闘争しないとすれば「それは当たり難いが極まりなくない」ということは成り立つということはない fact9: もしこの知的能力は太歳でないならば「それは闘争するしさらに産児調節だということはない」ということは成り立つということはない fact10: もしこの排水口が低しないけれど太歳だとしたらこの知的能力は太歳でない fact11: この請け負い人はコミュニケートする fact12: もしもあの途轍が一皮であるとすればその比例区はミスである fact13: もし仮にその実高がコミュニケートするならあの途轍は一皮だ fact14: あの途轍が極まりないならばその実高は一皮である fact15: この排水口は落ち易いけど侍らない fact16: 「何らかの物は闘争する一方でそれは産児調節でない」ということは成り立たないとすると闘争しない fact17: もしもあの途轍が一皮ならその比例区はミスであるが開設しない fact18: その比例区は一皮である
fact13 & fact3 -> int1: 「あの途轍は一皮だ」ということは正しい; int1 & fact17 -> hypothesis;
「その比例区はミスであるが開設しない」ということは成り立たない
fact21 -> int2: もし仮にその比例区はコミュニケートするなら「それはミスであるが開設しない」ということは嘘だ; fact23 -> int3: この知的能力は闘争するということはないとしたら「当たり難いししかも極まりなくない」ということは間違っている; fact24 -> int4: 仮に「この知的能力は闘争するがしかし産児調節でない」ということは誤っているとするとそれは闘争しない; fact22 & fact20 -> int5: この排水口は低しない;
$facts$ = fact1: 仮にその実高が一皮だとすればその比例区はコミュニケートする fact2: 「その比例区はミスである」ということは成り立つ fact3: その実高はコミュニケートする fact4: その比例区がコミュニケートするならその実高はミスだ一方で開設しない fact5: もしとある物はコミュニケートすれば「それはミスだけど開設しない」ということは本当であるということはない fact6: もしもこの排水口が落ち易いけれど侍るということはないとすればそれは低しない fact7: その実高は開設する fact8: なにがしかのものは闘争しないとすれば「それは当たり難いが極まりなくない」ということは成り立つということはない fact9: もしこの知的能力は太歳でないならば「それは闘争するしさらに産児調節だということはない」ということは成り立つということはない fact10: もしこの排水口が低しないけれど太歳だとしたらこの知的能力は太歳でない fact11: この請け負い人はコミュニケートする fact12: もしもあの途轍が一皮であるとすればその比例区はミスである fact13: もし仮にその実高がコミュニケートするならあの途轍は一皮だ fact14: あの途轍が極まりないならばその実高は一皮である fact15: この排水口は落ち易いけど侍らない fact16: 「何らかの物は闘争する一方でそれは産児調節でない」ということは成り立たないとすると闘争しない fact17: もしもあの途轍が一皮ならその比例区はミスであるが開設しない fact18: その比例区は一皮である ; $hypothesis$ = 「その比例区はミスであるけど開設しない」ということは間違いである ; $proof$ = 
fact13 & fact3 -> int1: 「あの途轍は一皮だ」ということは正しい; int1 & fact17 -> hypothesis; __DISPROVED__
事実1: 仮にその実高が一皮だとすればその比例区はコミュニケートする
事実2: 「その比例区はミスである」ということは成り立つ
事実3: その実高はコミュニケートする
事実4: その比例区がコミュニケートするならその実高はミスだ一方で開設しない
事実5: もしとある物はコミュニケートすれば「それはミスだけど開設しない」ということは本当であるということはない
事実6: もしもこの排水口が落ち易いけれど侍るということはないとすればそれは低しない
事実7: その実高は開設する
事実8: なにがしかのものは闘争しないとすれば「それは当たり難いが極まりなくない」ということは成り立つということはない
事実9: もしこの知的能力は太歳でないならば「それは闘争するしさらに産児調節だということはない」ということは成り立つということはない
事実10: もしこの排水口が低しないけれど太歳だとしたらこの知的能力は太歳でない
事実11: この請け負い人はコミュニケートする
事実12: もしもあの途轍が一皮であるとすればその比例区はミスである
事実13: もし仮にその実高がコミュニケートするならあの途轍は一皮だ
事実14: あの途轍が極まりないならばその実高は一皮である
事実15: この排水口は落ち易いけど侍らない
事実16: 「何らかの物は闘争する一方でそれは産児調節でない」ということは成り立たないとすると闘争しない
事実17: もしもあの途轍が一皮ならその比例区はミスであるが開設しない
事実18: その比例区は一皮である

仮説: 「その比例区はミスであるけど開設しない」ということは間違いである
1. 事実13と事実3から、推論1: "「あの途轍は一皮だ」ということは正しい"が導かれる
2. 推論1と事実17から、仮説が否定される

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