あの印刷形式は味わい深い
fact1: もし何かは選出すれば起き易い fact2: もしもあるものが味わい深いなら起き易い fact3: 仮にあの御揃うは公売手続きでないとしたら「この同島は選出するかあるいは通路側であるかあるいは両方ともである」ということは成り立つということはない fact4: もしあの新線が遮断するとしたらあの御揃うは公売手続きだということはない fact5: もしも「この同島は選出しないけれどそれは味わい深い」ということは成り立つということはないならばあの印刷形式は味わい深いということはない fact6: 「議会共和政はコーンパイプだ」ということは誤りでない fact7: 「この同島は厩務員でないが起き易い」ということは偽だ fact8: 仮にこの同島が起き易くないならあの印刷形式は選出する fact9: もし仮に「なんらかのものは選出するか通路側であるかもしくはどちらもである」ということは成り立たないならば「それは落ち難くない」ということは事実だ fact10: もしも「あの印刷形式は厩務員でない一方で選出する」ということは嘘であるならこの同島は起き易い fact11: もし「「あの印刷形式は起き易くないけれど厩務員だ」ということは真実だ」ということは誤りだとしたらこの同島は味わい深い fact12: もしなにかは選出するならそれは味わい深い fact13: 「あの印刷形式は抗い難くないがそれは味わい深い」ということは成り立たない fact14: あの印刷形式が選出するとしたら起き易い fact15: 「この同島は厩務員でないがしかし起き易い」ということは誤りだとするとあの印刷形式は選出する
fact15 & fact7 -> int1: あの印刷形式は選出する; fact12 -> int2: 仮にあの印刷形式が選出すればそれは味わい深い; int1 & int2 -> hypothesis;
fact15 & fact7 -> int1: {B}{b}; fact12 -> int2: {B}{b} -> {A}{b}; int1 & int2 -> hypothesis;
「あの印刷形式は味わい深くないけれど落ち難い」ということは真実でない
fact17 -> int3: 仮に「この同島は選出するかあるいは通路側だ」ということは嘘ならば落ち難くない;
$facts$ = fact1: もし何かは選出すれば起き易い fact2: もしもあるものが味わい深いなら起き易い fact3: 仮にあの御揃うは公売手続きでないとしたら「この同島は選出するかあるいは通路側であるかあるいは両方ともである」ということは成り立つということはない fact4: もしあの新線が遮断するとしたらあの御揃うは公売手続きだということはない fact5: もしも「この同島は選出しないけれどそれは味わい深い」ということは成り立つということはないならばあの印刷形式は味わい深いということはない fact6: 「議会共和政はコーンパイプだ」ということは誤りでない fact7: 「この同島は厩務員でないが起き易い」ということは偽だ fact8: 仮にこの同島が起き易くないならあの印刷形式は選出する fact9: もし仮に「なんらかのものは選出するか通路側であるかもしくはどちらもである」ということは成り立たないならば「それは落ち難くない」ということは事実だ fact10: もしも「あの印刷形式は厩務員でない一方で選出する」ということは嘘であるならこの同島は起き易い fact11: もし「「あの印刷形式は起き易くないけれど厩務員だ」ということは真実だ」ということは誤りだとしたらこの同島は味わい深い fact12: もしなにかは選出するならそれは味わい深い fact13: 「あの印刷形式は抗い難くないがそれは味わい深い」ということは成り立たない fact14: あの印刷形式が選出するとしたら起き易い fact15: 「この同島は厩務員でないがしかし起き易い」ということは誤りだとするとあの印刷形式は選出する ; $hypothesis$ = あの印刷形式は味わい深い ; $proof$ = 
fact15 & fact7 -> int1: あの印刷形式は選出する; fact12 -> int2: 仮にあの印刷形式が選出すればそれは味わい深い; int1 & int2 -> hypothesis; __PROVED__
事実1: もし何かは選出すれば起き易い
事実2: もしもあるものが味わい深いなら起き易い
事実3: 仮にあの御揃うは公売手続きでないとしたら「この同島は選出するかあるいは通路側であるかあるいは両方ともである」ということは成り立つということはない
事実4: もしあの新線が遮断するとしたらあの御揃うは公売手続きだということはない
事実5: もしも「この同島は選出しないけれどそれは味わい深い」ということは成り立つということはないならばあの印刷形式は味わい深いということはない
事実6: 「議会共和政はコーンパイプだ」ということは誤りでない
事実7: 「この同島は厩務員でないが起き易い」ということは偽だ
事実8: 仮にこの同島が起き易くないならあの印刷形式は選出する
事実9: もし仮に「なんらかのものは選出するか通路側であるかもしくはどちらもである」ということは成り立たないならば「それは落ち難くない」ということは事実だ
事実10: もしも「あの印刷形式は厩務員でない一方で選出する」ということは嘘であるならこの同島は起き易い
事実11: もし「「あの印刷形式は起き易くないけれど厩務員だ」ということは真実だ」ということは誤りだとしたらこの同島は味わい深い
事実12: もしなにかは選出するならそれは味わい深い
事実13: 「あの印刷形式は抗い難くないがそれは味わい深い」ということは成り立たない
事実14: あの印刷形式が選出するとしたら起き易い
事実15: 「この同島は厩務員でないがしかし起き易い」ということは誤りだとするとあの印刷形式は選出する

仮説: あの印刷形式は味わい深い
1. 事実15と事実7から、推論1: "あの印刷形式は選出する"が導かれる
2. 事実12から、推論2: "仮にあの印刷形式が選出すればそれは味わい深い"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。