この切手は御教示頂かない
fact1: 仮にあの愚堂は打ち拉ぐということはないなら「この切手は単調増加する」ということは成り立つ fact2: あの愚堂は打ち拉ぐかまたは若者らしくない fact3: もしあの愚堂が打ち拉ぐということはないかあるいはそれが若者らしくないかもしくは両方ともならばあの切手は単調増加する fact4: その作成ボタンは単調増加しない fact5: もしもあるものが単調増加するならそれは御教示頂く fact6: あの愚堂は若者らしくない
fact6 -> int1: あの愚堂は打ち拉がないかもしくは若者らしくないかあるいはどちらもである; int1 & fact3 -> int2: 「この切手は単調増加する」ということは成り立つ; fact5 -> int3: 仮にこの切手が単調増加するなら御教示頂く; int2 & int3 -> hypothesis;
fact6 -> int1: (¬{A}{a} v ¬{B}{a}); int1 & fact3 -> int2: {C}{b}; fact5 -> int3: {C}{b} -> {D}{b}; int2 & int3 -> hypothesis;
$facts$ = fact1: 仮にあの愚堂は打ち拉ぐということはないなら「この切手は単調増加する」ということは成り立つ fact2: あの愚堂は打ち拉ぐかまたは若者らしくない fact3: もしあの愚堂が打ち拉ぐということはないかあるいはそれが若者らしくないかもしくは両方ともならばあの切手は単調増加する fact4: その作成ボタンは単調増加しない fact5: もしもあるものが単調増加するならそれは御教示頂く fact6: あの愚堂は若者らしくない ; $hypothesis$ = この切手は御教示頂かない ; $proof$ = 
fact6 -> int1: あの愚堂は打ち拉がないかもしくは若者らしくないかあるいはどちらもである; int1 & fact3 -> int2: 「この切手は単調増加する」ということは成り立つ; fact5 -> int3: 仮にこの切手が単調増加するなら御教示頂く; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮にあの愚堂は打ち拉ぐということはないなら「この切手は単調増加する」ということは成り立つ
事実2: あの愚堂は打ち拉ぐかまたは若者らしくない
事実3: もしあの愚堂が打ち拉ぐということはないかあるいはそれが若者らしくないかもしくは両方ともならばあの切手は単調増加する
事実4: その作成ボタンは単調増加しない
事実5: もしもあるものが単調増加するならそれは御教示頂く
事実6: あの愚堂は若者らしくない

仮説: この切手は御教示頂かない
1. 事実6から、推論1: "あの愚堂は打ち拉がないかもしくは若者らしくないかあるいはどちらもである"が導かれる
2. 推論1と事実3から、推論2: "「この切手は単調増加する」ということは成り立つ"が導かれる
3. 事実5から、推論3: "仮にこの切手が単調増加するなら御教示頂く"が導かれる
4. 推論2と推論3から、仮説が否定される

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