この自己決定は踏ん反り返る
fact1: 許し難いものは踏ん反り返る fact2: この平櫓はみっとも可愛くないが安君だ fact3: 仮にこの自己決定が湿っぽくないかあるいは消散期ならば卑しくない fact4: この平櫓はみっとも可愛くない fact5: この自己決定は安君である fact6: 卑しくない物は許し難いしおまけに生々しい fact7: もしもこの平櫓が安君だけどそれが踏ん反り返るということはないならばあの少将は安君だということはない fact8: もしなにかは眇めないとすれば湿っぽくないかもしくは消散期であるかあるいは両方だ fact9: もし仮にこの平櫓がみっとも可愛くないが安君であるとしたらこの自己決定は踏ん反り返らない
fact9 & fact2 -> hypothesis;
fact9 & fact2 -> hypothesis;
この自己決定は踏ん反り返る
fact12 -> int1: もしこの自己決定が許し難いならば踏ん反り返る; fact10 -> int2: この自己決定が卑しくないならば許し難いし生々しい; fact13 -> int3: もしこの自己決定が眇めないとすると湿っぽくないかまたは消散期であるかあるいは両方ともである;
$facts$ = fact1: 許し難いものは踏ん反り返る fact2: この平櫓はみっとも可愛くないが安君だ fact3: 仮にこの自己決定が湿っぽくないかあるいは消散期ならば卑しくない fact4: この平櫓はみっとも可愛くない fact5: この自己決定は安君である fact6: 卑しくない物は許し難いしおまけに生々しい fact7: もしもこの平櫓が安君だけどそれが踏ん反り返るということはないならばあの少将は安君だということはない fact8: もしなにかは眇めないとすれば湿っぽくないかもしくは消散期であるかあるいは両方だ fact9: もし仮にこの平櫓がみっとも可愛くないが安君であるとしたらこの自己決定は踏ん反り返らない ; $hypothesis$ = この自己決定は踏ん反り返る ; $proof$ = 
fact9 & fact2 -> hypothesis; __DISPROVED__
事実1: 許し難いものは踏ん反り返る
事実2: この平櫓はみっとも可愛くないが安君だ
事実3: 仮にこの自己決定が湿っぽくないかあるいは消散期ならば卑しくない
事実4: この平櫓はみっとも可愛くない
事実5: この自己決定は安君である
事実6: 卑しくない物は許し難いしおまけに生々しい
事実7: もしもこの平櫓が安君だけどそれが踏ん反り返るということはないならばあの少将は安君だということはない
事実8: もしなにかは眇めないとすれば湿っぽくないかもしくは消散期であるかあるいは両方だ
事実9: もし仮にこの平櫓がみっとも可愛くないが安君であるとしたらこの自己決定は踏ん反り返らない

仮説: この自己決定は踏ん反り返る
1. 事実9と事実2から、仮説が否定される

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