あの乗客は読み終えない
fact1: その十七マイル・ドライブは沸き立つということはない fact2: もしもとある物は果たし続けるしおまけに人らしいとしたら役らしくない fact3: もし仮に「このヒルシュスプルング病は役らしいけど入居しない」ということは間違いであるとするとあの乗客は仕舞い込む fact4: あのＳＰ三混成軌道が他愛無くないとしたらそれは果たし続けるし加えて人らしい fact5: 「その十七マイル・ドライブは他愛無いということはないしそれにそれは等しない」ということは事実ならあのＳＰ三混成軌道は他愛無くない fact6: もしも何らかのものは仕舞い込めば「沸き立たなくて弱しない」ということは偽である fact7: もしもその十七マイル・ドライブが謳歌しないとするとそれは他愛無くないしそれに等しない fact8: なにがしかのものが弱しないならその十七マイル・ドライブは沸き立たなくて仕舞い込まない fact9: もしもとあるものが弱しないとしたらその十七マイル・ドライブは沸き立たない fact10: もしもこのヒルシュスプルング病が溜め込み易くないしさらに甘くないとするとあのＳＰ三混成軌道は弱しない fact11: このヒルシュスプルング病は甘くない fact12: なんらかの物は沸き立たない fact13: もし仮にこのヒルシュスプルング病が仕舞い込まないししかもそれが弱しないとすればあのＳＰ三混成軌道は溜め込み易くない fact14: 仮に「沸き立たないし加えて仕舞い込むということはない」物があるならばあの乗客は読み終える fact15: もし仮に「とある物は沸き立つということはないしそれにそれは弱しない」ということは間違っているとしたらそれは読み終えない fact16: 「弱し」ものはある fact17: 「沸き立たないし加えて仕舞い込む」物はある fact18: もしもこのヒルシュスプルング病が溜め込み易くないが甘いならばあのＳＰ三混成軌道は弱しない fact19: このヒルシュスプルング病は溜め込み易くないししかも甘くない fact20: 仮に「沸き立たなくて加えて弱しない」物があるとすればあの十七マイル・ドライブは溜め込み易い
fact10 & fact19 -> int1: あのＳＰ三混成軌道は弱しない; int1 -> int2: 「「弱し」ということは確かでない」物はある; int2 & fact8 -> int3: その十七マイル・ドライブは沸き立たなくてその上仕舞い込まない; int3 -> int4: 「沸き立たないしさらに仕舞い込まない」ものはある; int4 & fact14 -> hypothesis;
あの乗客は読み終えない
fact22 -> int5: 仮に「あの乗客は沸き立たないしそれは弱しない」ということは成り立たないとすると読み終えない; fact23 -> int6: 「あの乗客は仕舞い込む」ということは成り立つとしたら「それが沸き立つということはないしその上弱しということはない」ということは事実と異なる; fact26 -> int7: 仮にあのＳＰ三混成軌道が果たし続けるしさらにそれが人らしいとすると役らしいということはない;
$facts$ = fact1: その十七マイル・ドライブは沸き立つということはない fact2: もしもとある物は果たし続けるしおまけに人らしいとしたら役らしくない fact3: もし仮に「このヒルシュスプルング病は役らしいけど入居しない」ということは間違いであるとするとあの乗客は仕舞い込む fact4: あのＳＰ三混成軌道が他愛無くないとしたらそれは果たし続けるし加えて人らしい fact5: 「その十七マイル・ドライブは他愛無いということはないしそれにそれは等しない」ということは事実ならあのＳＰ三混成軌道は他愛無くない fact6: もしも何らかのものは仕舞い込めば「沸き立たなくて弱しない」ということは偽である fact7: もしもその十七マイル・ドライブが謳歌しないとするとそれは他愛無くないしそれに等しない fact8: なにがしかのものが弱しないならその十七マイル・ドライブは沸き立たなくて仕舞い込まない fact9: もしもとあるものが弱しないとしたらその十七マイル・ドライブは沸き立たない fact10: もしもこのヒルシュスプルング病が溜め込み易くないしさらに甘くないとするとあのＳＰ三混成軌道は弱しない fact11: このヒルシュスプルング病は甘くない fact12: なんらかの物は沸き立たない fact13: もし仮にこのヒルシュスプルング病が仕舞い込まないししかもそれが弱しないとすればあのＳＰ三混成軌道は溜め込み易くない fact14: 仮に「沸き立たないし加えて仕舞い込むということはない」物があるならばあの乗客は読み終える fact15: もし仮に「とある物は沸き立つということはないしそれにそれは弱しない」ということは間違っているとしたらそれは読み終えない fact16: 「弱し」ものはある fact17: 「沸き立たないし加えて仕舞い込む」物はある fact18: もしもこのヒルシュスプルング病が溜め込み易くないが甘いならばあのＳＰ三混成軌道は弱しない fact19: このヒルシュスプルング病は溜め込み易くないししかも甘くない fact20: 仮に「沸き立たなくて加えて弱しない」物があるとすればあの十七マイル・ドライブは溜め込み易い ; $hypothesis$ = あの乗客は読み終えない ; $proof$ = 
fact10 & fact19 -> int1: あのＳＰ三混成軌道は弱しない; int1 -> int2: 「「弱し」ということは確かでない」物はある; int2 & fact8 -> int3: その十七マイル・ドライブは沸き立たなくてその上仕舞い込まない; int3 -> 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: 仮に「沸き立たなくて加えて弱しない」物があるとすればあの十七マイル・ドライブは溜め込み易い

仮説: あの乗客は読み終えない
1. 事実10と事実19から、推論1: "あのＳＰ三混成軌道は弱しない"が導かれる
2. 推論1から、推論2: "「「弱し」ということは確かでない」物はある"が導かれる
3. 推論2と事実8から、推論3: "その十七マイル・ドライブは沸き立たなくてその上仕舞い込まない"が導かれる
4. 推論3から、推論4: "「沸き立たないしさらに仕舞い込まない」ものはある"が導かれる
5. 推論4と事実14から、仮説が否定される

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