この認定条件は顕彰する
fact1: このロリ男は割譲する fact2: 勘違いし易い物は顕彰する fact3: 何かはしんどいとするとそれは勘違いし易い fact4: もし仮になにがしかの物が割譲するとするとそれは勘違いし易い fact5: もし「その撮影後は割譲するか顕彰しない」ということは誤っているとしたらこの認定条件は顕彰しない fact6: この認定条件は酒臭い fact7: すべてのものは割譲する
fact7 -> int1: 「この認定条件は割譲する」ということは成り立つ; fact4 -> int2: もしも「この認定条件は割譲する」ということは嘘でないとすればそれは勘違いし易い; int1 & int2 -> int3: この認定条件は勘違いし易い; fact2 -> int4: もしこの認定条件が勘違いし易いとすればそれは顕彰する; int3 & int4 -> hypothesis;
fact7 -> int1: {A}{aa}; fact4 -> int2: {A}{aa} -> {B}{aa}; int1 & int2 -> int3: {B}{aa}; fact2 -> int4: {B}{aa} -> {C}{aa}; int3 & int4 -> hypothesis;
この認定条件は顕彰するということはない
$facts$ = fact1: このロリ男は割譲する fact2: 勘違いし易い物は顕彰する fact3: 何かはしんどいとするとそれは勘違いし易い fact4: もし仮になにがしかの物が割譲するとするとそれは勘違いし易い fact5: もし「その撮影後は割譲するか顕彰しない」ということは誤っているとしたらこの認定条件は顕彰しない fact6: この認定条件は酒臭い fact7: すべてのものは割譲する ; $hypothesis$ = この認定条件は顕彰する ; $proof$ = 
fact7 -> int1: 「この認定条件は割譲する」ということは成り立つ; fact4 -> int2: もしも「この認定条件は割譲する」ということは嘘でないとすればそれは勘違いし易い; int1 & int2 -> int3: この認定条件は勘違いし易い; fact2 -> int4: もしこの認定条件が勘違いし易いとすればそれは顕彰する; int3 & int4 -> hypothesis; __PROVED__
事実1: このロリ男は割譲する
事実2: 勘違いし易い物は顕彰する
事実3: 何かはしんどいとするとそれは勘違いし易い
事実4: もし仮になにがしかの物が割譲するとするとそれは勘違いし易い
事実5: もし「その撮影後は割譲するか顕彰しない」ということは誤っているとしたらこの認定条件は顕彰しない
事実6: この認定条件は酒臭い
事実7: すべてのものは割譲する

仮説: この認定条件は顕彰する
1. 事実7から、推論1: "「この認定条件は割譲する」ということは成り立つ"が導かれる
2. 事実4から、推論2: "もしも「この認定条件は割譲する」ということは嘘でないとすればそれは勘違いし易い"が導かれる
3. 推論1と推論2から、推論3: "この認定条件は勘違いし易い"が導かれる
4. 事実2から、推論4: "もしこの認定条件が勘違いし易いとすればそれは顕彰する"が導かれる
5. 推論3と推論4から、仮説が導かれる

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