「この定期船は興奮し過ぎるかあるいは安全ベルトである」ということは偽である
fact1: もしもとあるものが味わい尽くさないならば自民党幹事長だということはない fact2: もし「その零表示は自民党幹事長でなくてかつ恥ずかしない」ということは偽だとしたらこの定期船は安全ベルトだ fact3: もしもこの定期船は自民党幹事長でないとすると「その零表示は興奮し過ぎるということはなくて安全ベルトだということはない」ということは事実と異なる fact4: もしも「その零表示は安全ベルトでないしそれに恥ずかしない」ということは事実と異なるとしたらこの定期船は興奮し過ぎる fact5: その一日置きは味わい尽くさない fact6: もし「何らかのものはしがないしそれに活性多糖体だ」ということは成り立たないとすればそれは重くない fact7: もしも何かは重くないとすると「味わい尽くすししかもそれは受け難い」ということは確かであるということはない fact8: もしもその一日置きは味わい尽くさないとしたら「その零表示は自民党幹事長でないししかも恥ずかしない」ということは嘘である fact9: もしとあるものは味わい尽くさないなら「興奮し過ぎるかもしくは安全ベルトであるかまたは両方ともである」ということは事実でない fact10: もし仮にその零表示は印刷しないとしたら「その一日置きはしがなくて活性多糖体である」ということは誤りだ fact11: その零表示は味わい尽くすかまたは恥ずかし fact12: この交通民集は味わい尽くさない fact13: もし仮に「その一日置きは興奮し過ぎなくて味わい尽くさない」ということは成り立つということはないとするとこの定期船は恥ずかし
fact8 & fact5 -> int1: 「その零表示は自民党幹事長でなくてその上恥ずかしくない」ということは成り立つということはない; int1 & fact2 -> int2: この定期船は安全ベルトである; int2 -> hypothesis;
「この定期船は興奮し過ぎるかあるいは安全ベルトであるかあるいは両方だ」ということは偽である
fact16 -> int3: 「この定期船は味わい尽くすということはない」ということは事実であるとしたら「「興奮し過ぎるかあるいはそれは安全ベルトであるかまたは両方ともである」ということは成り立つ」ということは成り立たない; fact15 -> int4: もし仮にその一日置きは重くないならば「それは味わい尽くすしそれは受け難い」ということは間違いだ; fact17 -> int5: もし仮に「その一日置きはしがないし活性多糖体だ」ということは偽であるならば重くない;
$facts$ = fact1: もしもとあるものが味わい尽くさないならば自民党幹事長だということはない fact2: もし「その零表示は自民党幹事長でなくてかつ恥ずかしない」ということは偽だとしたらこの定期船は安全ベルトだ fact3: もしもこの定期船は自民党幹事長でないとすると「その零表示は興奮し過ぎるということはなくて安全ベルトだということはない」ということは事実と異なる fact4: もしも「その零表示は安全ベルトでないしそれに恥ずかしない」ということは事実と異なるとしたらこの定期船は興奮し過ぎる fact5: その一日置きは味わい尽くさない fact6: もし「何らかのものはしがないしそれに活性多糖体だ」ということは成り立たないとすればそれは重くない fact7: もしも何かは重くないとすると「味わい尽くすししかもそれは受け難い」ということは確かであるということはない fact8: もしもその一日置きは味わい尽くさないとしたら「その零表示は自民党幹事長でないししかも恥ずかしない」ということは嘘である fact9: もしとあるものは味わい尽くさないなら「興奮し過ぎるかもしくは安全ベルトであるかまたは両方ともである」ということは事実でない fact10: もし仮にその零表示は印刷しないとしたら「その一日置きはしがなくて活性多糖体である」ということは誤りだ fact11: その零表示は味わい尽くすかまたは恥ずかし fact12: この交通民集は味わい尽くさない fact13: もし仮に「その一日置きは興奮し過ぎなくて味わい尽くさない」ということは成り立つということはないとするとこの定期船は恥ずかし ; $hypothesis$ = 「この定期船は興奮し過ぎるかあるいは安全ベルトである」ということは偽である ; $proof$ = 
fact8 & fact5 -> int1: 「その零表示は自民党幹事長でなくてその上恥ずかしくない」ということは成り立つということはない; int1 & fact2 -> int2: この定期船は安全ベルトである; int2 -> hypothesis; __DISPROVED__
事実1: もしもとあるものが味わい尽くさないならば自民党幹事長だということはない
事実2: もし「その零表示は自民党幹事長でなくてかつ恥ずかしない」ということは偽だとしたらこの定期船は安全ベルトだ
事実3: もしもこの定期船は自民党幹事長でないとすると「その零表示は興奮し過ぎるということはなくて安全ベルトだということはない」ということは事実と異なる
事実4: もしも「その零表示は安全ベルトでないしそれに恥ずかしない」ということは事実と異なるとしたらこの定期船は興奮し過ぎる
事実5: その一日置きは味わい尽くさない
事実6: もし「何らかのものはしがないしそれに活性多糖体だ」ということは成り立たないとすればそれは重くない
事実7: もしも何かは重くないとすると「味わい尽くすししかもそれは受け難い」ということは確かであるということはない
事実8: もしもその一日置きは味わい尽くさないとしたら「その零表示は自民党幹事長でないししかも恥ずかしない」ということは嘘である
事実9: もしとあるものは味わい尽くさないなら「興奮し過ぎるかもしくは安全ベルトであるかまたは両方ともである」ということは事実でない
事実10: もし仮にその零表示は印刷しないとしたら「その一日置きはしがなくて活性多糖体である」ということは誤りだ
事実11: その零表示は味わい尽くすかまたは恥ずかし
事実12: この交通民集は味わい尽くさない
事実13: もし仮に「その一日置きは興奮し過ぎなくて味わい尽くさない」ということは成り立つということはないとするとこの定期船は恥ずかし

仮説: 「この定期船は興奮し過ぎるかあるいは安全ベルトである」ということは偽である
1. 事実8と事実5から、推論1: "「その零表示は自民党幹事長でなくてその上恥ずかしくない」ということは成り立つということはない"が導かれる
2. 推論1と事実2から、推論2: "この定期船は安全ベルトである"が導かれる
3. 推論2から、仮説が否定される

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