「その空蝉は高ぶり過ぎるし外傷だ」ということは嘘だ
fact1: もしも「その力付きは装甲車だ」ということは成り立つとすると看取する fact2: 仮にその力付きが看取するとすればこの一航戦は看取する fact3: あの大阪地判昭は娩出する fact4: その奥方様が屁えこき虫だとしたらあの大阪地判昭は自画自賛する fact5: 焼き難い物は鬱陶しかないしまたツーリングでない fact6: もし仮にその奥方様が鬱陶しいならばその空蝉は外傷である fact7: 鬱陶しかない物は娩出するということはない fact8: もし何らかのものは娩出しないとしたら「高ぶり過ぎるし外傷である」ということは偽だ fact9: もし仮になんらかのものは看取するとすれば「それは照り返しでないしさらにそれは晒され易い」ということは成り立たない fact10: その空蝉はツーリングだが焼き難くない fact11: もしもある物はツーリングだとすれば「高ぶり過ぎる」ということは事実である fact12: もしもあの大阪地判昭が自画自賛するとするとその空蝉は焼き難い fact13: もし仮にあの大阪地判昭が娩出するとしたらその奥方様は鬱陶しい fact14: 仮に「この一航戦は照り返しでないがそれは晒され易い」ということは成り立たないならその奥方様は屁えこき虫だ
fact13 & fact3 -> int1: その奥方様は鬱陶しい; int1 & fact6 -> int2: その空蝉は外傷だ; fact11 -> int3: その空蝉はツーリングであるとすれば高ぶり過ぎる; fact10 -> int4: その空蝉はツーリングだ; int3 & int4 -> int5: その空蝉は高ぶり過ぎる; int2 & int5 -> hypothesis;
「その空蝉は高ぶり過ぎるしかつそれは外傷だ」ということは成り立たない
fact16 -> int6: もしその空蝉は娩出するということはないとしたら「それは高ぶり過ぎるしその上外傷だ」ということは間違っている; fact22 -> int7: もし仮にその空蝉が鬱陶しかないとすればそれは娩出しない; fact23 -> int8: もし仮にその空蝉が焼き難いとしたらそれは鬱陶しかなくておまけにツーリングでない; fact17 -> int9: もし仮にこの一航戦は看取するとすると「それは照り返しでなくて更にそれは晒され易い」ということは誤りだ;
$facts$ = fact1: もしも「その力付きは装甲車だ」ということは成り立つとすると看取する fact2: 仮にその力付きが看取するとすればこの一航戦は看取する fact3: あの大阪地判昭は娩出する fact4: その奥方様が屁えこき虫だとしたらあの大阪地判昭は自画自賛する fact5: 焼き難い物は鬱陶しかないしまたツーリングでない fact6: もし仮にその奥方様が鬱陶しいならばその空蝉は外傷である fact7: 鬱陶しかない物は娩出するということはない fact8: もし何らかのものは娩出しないとしたら「高ぶり過ぎるし外傷である」ということは偽だ fact9: もし仮になんらかのものは看取するとすれば「それは照り返しでないしさらにそれは晒され易い」ということは成り立たない fact10: その空蝉はツーリングだが焼き難くない fact11: もしもある物はツーリングだとすれば「高ぶり過ぎる」ということは事実である fact12: もしもあの大阪地判昭が自画自賛するとするとその空蝉は焼き難い fact13: もし仮にあの大阪地判昭が娩出するとしたらその奥方様は鬱陶しい fact14: 仮に「この一航戦は照り返しでないがそれは晒され易い」ということは成り立たないならその奥方様は屁えこき虫だ ; $hypothesis$ = 「その空蝉は高ぶり過ぎるし外傷だ」ということは嘘だ ; $proof$ = 
fact13 & fact3 -> int1: その奥方様は鬱陶しい; int1 & fact6 -> int2: その空蝉は外傷だ; fact11 -> int3: その空蝉はツーリングであるとすれば高ぶり過ぎる; fact10 -> int4: その空蝉はツーリングだ; int3 & int4 -> int5: その空蝉は高ぶり過ぎる; int2 & int5 -> hypothesis; __DISPROVED__
事実1: もしも「その力付きは装甲車だ」ということは成り立つとすると看取する
事実2: 仮にその力付きが看取するとすればこの一航戦は看取する
事実3: あの大阪地判昭は娩出する
事実4: その奥方様が屁えこき虫だとしたらあの大阪地判昭は自画自賛する
事実5: 焼き難い物は鬱陶しかないしまたツーリングでない
事実6: もし仮にその奥方様が鬱陶しいならばその空蝉は外傷である
事実7: 鬱陶しかない物は娩出するということはない
事実8: もし何らかのものは娩出しないとしたら「高ぶり過ぎるし外傷である」ということは偽だ
事実9: もし仮になんらかのものは看取するとすれば「それは照り返しでないしさらにそれは晒され易い」ということは成り立たない
事実10: その空蝉はツーリングだが焼き難くない
事実11: もしもある物はツーリングだとすれば「高ぶり過ぎる」ということは事実である
事実12: もしもあの大阪地判昭が自画自賛するとするとその空蝉は焼き難い
事実13: もし仮にあの大阪地判昭が娩出するとしたらその奥方様は鬱陶しい
事実14: 仮に「この一航戦は照り返しでないがそれは晒され易い」ということは成り立たないならその奥方様は屁えこき虫だ

仮説: 「その空蝉は高ぶり過ぎるし外傷だ」ということは嘘だ
1. 事実13と事実3から、推論1: "その奥方様は鬱陶しい"が導かれる
2. 推論1と事実6から、推論2: "その空蝉は外傷だ"が導かれる
3. 事実11から、推論3: "その空蝉はツーリングであるとすれば高ぶり過ぎる"が導かれる
4. 事実10から、推論4: "その空蝉はツーリングだ"が導かれる
5. 推論3と推論4から、推論5: "その空蝉は高ぶり過ぎる"が導かれる
6. 推論2と推論5から、仮説が否定される

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