この飛び入りはスクラップしない
fact1: 仮に「この二刀流は帝王で寒だ」ということは成り立たないなら「あの足長伯父さんは寒でない」ということは正しい fact2: あの足長伯父さんが各個だとするとこの飛び入りは覚え易い fact3: 「あの足長伯父さんは各個である」ということは確かである fact4: 仮に「あの足長伯父さんは覚え易い」ということは成り立つとしたらこの飛び入りは贈与するがしかし各個であるということはない fact5: この飛び入りは覚え易い fact6: 覚え易い物が贈与しないとするとスクラップするということはない fact7: もし仮にあの足長伯父さんが各個だとすればあの飛び入りは覚え易いけれど贈与しない fact8: もしもあの足長伯父さんが寒でないならばこの飛び入りは各個でしかもそれはスクラップする
fact7 & fact3 -> int1: この飛び入りは覚え易いがそれは贈与しない; fact6 -> int2: この飛び入りは覚え易い一方で贈与しないとすればそれはスクラップしない; int1 & int2 -> hypothesis;
「この飛び入りはスクラップする」ということは正しい
$facts$ = fact1: 仮に「この二刀流は帝王で寒だ」ということは成り立たないなら「あの足長伯父さんは寒でない」ということは正しい fact2: あの足長伯父さんが各個だとするとこの飛び入りは覚え易い fact3: 「あの足長伯父さんは各個である」ということは確かである fact4: 仮に「あの足長伯父さんは覚え易い」ということは成り立つとしたらこの飛び入りは贈与するがしかし各個であるということはない fact5: この飛び入りは覚え易い fact6: 覚え易い物が贈与しないとするとスクラップするということはない fact7: もし仮にあの足長伯父さんが各個だとすればあの飛び入りは覚え易いけれど贈与しない fact8: もしもあの足長伯父さんが寒でないならばこの飛び入りは各個でしかもそれはスクラップする ; $hypothesis$ = この飛び入りはスクラップしない ; $proof$ = 
fact7 & fact3 -> int1: この飛び入りは覚え易いがそれは贈与しない; fact6 -> int2: この飛び入りは覚え易い一方で贈与しないとすればそれはスクラップしない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮に「この二刀流は帝王で寒だ」ということは成り立たないなら「あの足長伯父さんは寒でない」ということは正しい
事実2: あの足長伯父さんが各個だとするとこの飛び入りは覚え易い
事実3: 「あの足長伯父さんは各個である」ということは確かである
事実4: 仮に「あの足長伯父さんは覚え易い」ということは成り立つとしたらこの飛び入りは贈与するがしかし各個であるということはない
事実5: この飛び入りは覚え易い
事実6: 覚え易い物が贈与しないとするとスクラップするということはない
事実7: もし仮にあの足長伯父さんが各個だとすればあの飛び入りは覚え易いけれど贈与しない
事実8: もしもあの足長伯父さんが寒でないならばこの飛び入りは各個でしかもそれはスクラップする

仮説: この飛び入りはスクラップしない
1. 事実7と事実3から、推論1: "この飛び入りは覚え易いがそれは贈与しない"が導かれる
2. 事実6から、推論2: "この飛び入りは覚え易い一方で贈与しないとすればそれはスクラップしない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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