「その伝染性は上位人気馬であるかもしくは活写しないかあるいは両方だ」ということは成り立たない
fact1: もし仮に「とあるものは代表的疾患でないしおまけに書き進めるということはない」ということは事実と異ならないとすると利口振らない fact2: もし「とある物は濡れ始めるということはない」ということは正しいなら上位人気馬であるかあるいは活写する fact3: もしも何らかの物は書き進めるしさらに代表的疾患であるとするとそれは濡れ始めない fact4: もしもあの会社債権者が読ませばこのカウンティ委員会は濡れ始めないが窺い知れる fact5: あの判決理由は利口振る fact6: このカウンティ委員会は窺い知れる fact7: もし仮にその伝染性が濡れ始めるということはないとすれば上位人気馬であるかあるいは活写する fact8: もしも何かは読まさないならばそれは書き進めるかまたはそれは活写しないかあるいは両方だ fact9: もしもなんらかの物は利口振るということはないなら「それは上位人気馬であるかまたはそれは活写しないかもしくは両方ともである」ということは偽である fact10: もしも「このカウンティ委員会は書き進めるということはないかまたは読まさないかまたは両方である」ということは成り立たないとしたらその伝染性は活写する fact11: 「このカウンティ委員会は読まさないかあるいは窺い知れないかまたはどちらもである」ということは事実でない fact12: 仮にとある物は濡れ始めないけれど窺い知れればそれは代表的疾患だ fact13: もし仮に「このカウンティ委員会は読まさないか窺い知れないかもしくは両方である」ということは成り立たないならその伝染性は代表的疾患だ fact14: もし仮にその伝染性が利口振るとしたら書き進める fact15: その伝染性は上位人気馬であるかまたは活写する fact16: もし仮になにかは濡れ始めないとすると上位人気馬であるか活写しないかもしくは両方ともである fact17: その伝染性は利口振る fact18: もし仮にこのカウンティ委員会が代表的疾患であるとしたらその伝染性は代表的疾患でない fact19: もし「このカウンティ委員会は読まさないかそれは窺い知れる」ということは間違っていればその伝染性は代表的疾患である
fact14 & fact17 -> int1: その伝染性は書き進める; fact13 & fact11 -> int2: その伝染性は代表的疾患である; int1 & int2 -> int3: その伝染性は書き進めるしおまけに代表的疾患である; fact3 -> int4: もし仮にその伝染性は書き進めるしおまけに代表的疾患だとしたらそれは濡れ始めない; int3 & int4 -> int5: その伝染性は濡れ始めない; fact16 -> int6: その伝染性が濡れ始めないならば上位人気馬であるかもしくは活写しないかまたは両方である; int5 & int6 -> hypothesis;
「その伝染性は上位人気馬であるかもしくはそれは活写しない」ということは間違っている
fact24 -> int7: もしその伝染性は利口振らないとすれば「それは上位人気馬であるかそれは活写するということはないかあるいは両方である」ということは偽である; fact20 -> int8: もしその伝染性が代表的疾患でなくてその上書き進めないなら利口振らない; fact22 -> int9: もしこのカウンティ委員会は濡れ始めないが窺い知れるとすると代表的疾患である;
$facts$ = fact1: もし仮に「とあるものは代表的疾患でないしおまけに書き進めるということはない」ということは事実と異ならないとすると利口振らない fact2: もし「とある物は濡れ始めるということはない」ということは正しいなら上位人気馬であるかあるいは活写する fact3: もしも何らかの物は書き進めるしさらに代表的疾患であるとするとそれは濡れ始めない fact4: もしもあの会社債権者が読ませばこのカウンティ委員会は濡れ始めないが窺い知れる fact5: あの判決理由は利口振る fact6: このカウンティ委員会は窺い知れる fact7: もし仮にその伝染性が濡れ始めるということはないとすれば上位人気馬であるかあるいは活写する fact8: もしも何かは読まさないならばそれは書き進めるかまたはそれは活写しないかあるいは両方だ fact9: もしもなんらかの物は利口振るということはないなら「それは上位人気馬であるかまたはそれは活写しないかもしくは両方ともである」ということは偽である fact10: もしも「このカウンティ委員会は書き進めるということはないかまたは読まさないかまたは両方である」ということは成り立たないとしたらその伝染性は活写する fact11: 「このカウンティ委員会は読まさないかあるいは窺い知れないかまたはどちらもである」ということは事実でない fact12: 仮にとある物は濡れ始めないけれど窺い知れればそれは代表的疾患だ fact13: もし仮に「このカウンティ委員会は読まさないか窺い知れないかもしくは両方である」ということは成り立たないならその伝染性は代表的疾患だ fact14: もし仮にその伝染性が利口振るとしたら書き進める fact15: その伝染性は上位人気馬であるかまたは活写する fact16: もし仮になにかは濡れ始めないとすると上位人気馬であるか活写しないかもしくは両方ともである fact17: その伝染性は利口振る fact18: もし仮にこのカウンティ委員会が代表的疾患であるとしたらその伝染性は代表的疾患でない fact19: もし「このカウンティ委員会は読まさないかそれは窺い知れる」ということは間違っていればその伝染性は代表的疾患である ; $hypothesis$ = 「その伝染性は上位人気馬であるかもしくは活写しないかあるいは両方だ」ということは成り立たない ; $proof$ = 
fact14 & fact17 -> int1: その伝染性は書き進める; fact13 & fact11 -> int2: その伝染性は代表的疾患である; int1 & int2 -> int3: その伝染性は書き進めるしおまけに代表的疾患である; fact3 -> int4: もし仮にその伝染性は書き進めるしおまけに代表的疾患だとしたらそれは濡れ始めない; int3 & int4 -> int5: その伝染性は濡れ始めない; fact16 -> int6: その伝染性が濡れ始めないならば上位人気馬であるかもしくは活写しないかまたは両方である; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もし仮に「とあるものは代表的疾患でないしおまけに書き進めるということはない」ということは事実と異ならないとすると利口振らない
事実2: もし「とある物は濡れ始めるということはない」ということは正しいなら上位人気馬であるかあるいは活写する
事実3: もしも何らかの物は書き進めるしさらに代表的疾患であるとするとそれは濡れ始めない
事実4: もしもあの会社債権者が読ませばこのカウンティ委員会は濡れ始めないが窺い知れる
事実5: あの判決理由は利口振る
事実6: このカウンティ委員会は窺い知れる
事実7: もし仮にその伝染性が濡れ始めるということはないとすれば上位人気馬であるかあるいは活写する
事実8: もしも何かは読まさないならばそれは書き進めるかまたはそれは活写しないかあるいは両方だ
事実9: もしもなんらかの物は利口振るということはないなら「それは上位人気馬であるかまたはそれは活写しないかもしくは両方ともである」ということは偽である
事実10: もしも「このカウンティ委員会は書き進めるということはないかまたは読まさないかまたは両方である」ということは成り立たないとしたらその伝染性は活写する
事実11: 「このカウンティ委員会は読まさないかあるいは窺い知れないかまたはどちらもである」ということは事実でない
事実12: 仮にとある物は濡れ始めないけれど窺い知れればそれは代表的疾患だ
事実13: もし仮に「このカウンティ委員会は読まさないか窺い知れないかもしくは両方である」ということは成り立たないならその伝染性は代表的疾患だ
事実14: もし仮にその伝染性が利口振るとしたら書き進める
事実15: その伝染性は上位人気馬であるかまたは活写する
事実16: もし仮になにかは濡れ始めないとすると上位人気馬であるか活写しないかもしくは両方ともである
事実17: その伝染性は利口振る
事実18: もし仮にこのカウンティ委員会が代表的疾患であるとしたらその伝染性は代表的疾患でない
事実19: もし「このカウンティ委員会は読まさないかそれは窺い知れる」ということは間違っていればその伝染性は代表的疾患である

仮説: 「その伝染性は上位人気馬であるかもしくは活写しないかあるいは両方だ」ということは成り立たない
1. 事実14と事実17から、推論1: "その伝染性は書き進める"が導かれる
2. 事実13と事実11から、推論2: "その伝染性は代表的疾患である"が導かれる
3. 推論1と推論2から、推論3: "その伝染性は書き進めるしおまけに代表的疾患である"が導かれる
4. 事実3から、推論4: "もし仮にその伝染性は書き進めるしおまけに代表的疾患だとしたらそれは濡れ始めない"が導かれる
5. 推論3と推論4から、推論5: "その伝染性は濡れ始めない"が導かれる
6. 事実16から、推論6: "その伝染性が濡れ始めないならば上位人気馬であるかもしくは活写しないかまたは両方である"が導かれる
7. 推論5と推論6から、仮説が否定される

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