この講和条約は王位継承でない
fact1: もし「この家船は粘り強くなくてそれは曲調でない」ということは事実と異なるとしたらあの二十三席は曲調でない fact2: もしもこの主要業務が洗い終わればその眼窩前頭皮質は洗い終わる fact3: その眼窩前頭皮質が洗い終わるならあのカントリーミュージックは洗い終わる fact4: 「この関数名は合掌しない」ということは真実である fact5: もし何かは行き難いとすると「それは粘り強くなくてそれにそれは曲調でない」ということは偽である fact6: もしもなんらかの物はもどかしいとしたら「合掌するけれど苦々しかない」ということは間違っている fact7: 仮にこの根抵当が御挨拶申し上げるならばあの家船は行き難い fact8: 仮にあのカントリーミュージックが洗い終わるとしたらこの不当利得論はもどかしい fact9: この不当利得論が苦々しいということはなくて合掌しないとするとこの講和条約は王位継承である fact10: この不当利得論は苦々しかない fact11: もし仮に「あの二十三席は曲調でない」ということは成り立つとすると欠如しないけれど窒素吸収量である fact12: 「この不当利得論は合掌しない」ということは真実である fact13: もし「この応えは打っちゃるけどそれは御挨拶申し上げない」ということは間違いだとすればこの根抵当は御挨拶申し上げる
fact10 & fact12 -> int1: この不当利得論は苦々しかないしそれは合掌しない; int1 & fact9 -> hypothesis;
fact10 & fact12 -> int1: (¬{A}{a} & ¬{B}{a}); int1 & fact9 -> hypothesis;
この講和条約は王位継承であるということはない
fact18 -> int2: もしもこの不当利得論はもどかしいなら「それは合掌するが苦々しかない」ということは事実でない; fact21 -> int3: 仮にこの家船は行き難いとすると「それは粘り強くなくておまけに曲調でない」ということは誤っている;
$facts$ = fact1: もし「この家船は粘り強くなくてそれは曲調でない」ということは事実と異なるとしたらあの二十三席は曲調でない fact2: もしもこの主要業務が洗い終わればその眼窩前頭皮質は洗い終わる fact3: その眼窩前頭皮質が洗い終わるならあのカントリーミュージックは洗い終わる fact4: 「この関数名は合掌しない」ということは真実である fact5: もし何かは行き難いとすると「それは粘り強くなくてそれにそれは曲調でない」ということは偽である fact6: もしもなんらかの物はもどかしいとしたら「合掌するけれど苦々しかない」ということは間違っている fact7: 仮にこの根抵当が御挨拶申し上げるならばあの家船は行き難い fact8: 仮にあのカントリーミュージックが洗い終わるとしたらこの不当利得論はもどかしい fact9: この不当利得論が苦々しいということはなくて合掌しないとするとこの講和条約は王位継承である fact10: この不当利得論は苦々しかない fact11: もし仮に「あの二十三席は曲調でない」ということは成り立つとすると欠如しないけれど窒素吸収量である fact12: 「この不当利得論は合掌しない」ということは真実である fact13: もし「この応えは打っちゃるけどそれは御挨拶申し上げない」ということは間違いだとすればこの根抵当は御挨拶申し上げる ; $hypothesis$ = この講和条約は王位継承でない ; $proof$ = 
fact10 & fact12 -> int1: この不当利得論は苦々しかないしそれは合掌しない; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: もし「この家船は粘り強くなくてそれは曲調でない」ということは事実と異なるとしたらあの二十三席は曲調でない
事実2: もしもこの主要業務が洗い終わればその眼窩前頭皮質は洗い終わる
事実3: その眼窩前頭皮質が洗い終わるならあのカントリーミュージックは洗い終わる
事実4: 「この関数名は合掌しない」ということは真実である
事実5: もし何かは行き難いとすると「それは粘り強くなくてそれにそれは曲調でない」ということは偽である
事実6: もしもなんらかの物はもどかしいとしたら「合掌するけれど苦々しかない」ということは間違っている
事実7: 仮にこの根抵当が御挨拶申し上げるならばあの家船は行き難い
事実8: 仮にあのカントリーミュージックが洗い終わるとしたらこの不当利得論はもどかしい
事実9: この不当利得論が苦々しいということはなくて合掌しないとするとこの講和条約は王位継承である
事実10: この不当利得論は苦々しかない
事実11: もし仮に「あの二十三席は曲調でない」ということは成り立つとすると欠如しないけれど窒素吸収量である
事実12: 「この不当利得論は合掌しない」ということは真実である
事実13: もし「この応えは打っちゃるけどそれは御挨拶申し上げない」ということは間違いだとすればこの根抵当は御挨拶申し上げる

仮説: この講和条約は王位継承でない
1. 事実10と事実12から、推論1: "この不当利得論は苦々しかないしそれは合掌しない"が導かれる
2. 推論1と事実9から、仮説が否定される

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