その御偉方は茶色くない
fact1: もし仮に「同等以上でないかあるいはけばけばしくない」物があるならこの超越神論は牛肉である fact2: あの右手首は同等以上でないかまたはけばけばしいということはないかあるいは両方である fact3: この超越神論が牛肉だとしたらその御偉方は茶色くない
fact2 -> int1: 「同等以上でないかあるいはけばけばしくないかまたは両方ともである」物はある; int1 & fact1 -> int2: この超越神論は牛肉である; int2 & fact3 -> hypothesis;
fact2 -> int1: (Ex): (¬{A}x v ¬{B}x); int1 & fact1 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もし仮に「同等以上でないかあるいはけばけばしくない」物があるならこの超越神論は牛肉である fact2: あの右手首は同等以上でないかまたはけばけばしいということはないかあるいは両方である fact3: この超越神論が牛肉だとしたらその御偉方は茶色くない ; $hypothesis$ = その御偉方は茶色くない ; $proof$ = 
fact2 -> int1: 「同等以上でないかあるいはけばけばしくないかまたは両方ともである」物はある; int1 & fact1 -> int2: この超越神論は牛肉である; int2 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に「同等以上でないかあるいはけばけばしくない」物があるならこの超越神論は牛肉である
事実2: あの右手首は同等以上でないかまたはけばけばしいということはないかあるいは両方である
事実3: この超越神論が牛肉だとしたらその御偉方は茶色くない

仮説: その御偉方は茶色くない
1. 事実2から、推論1: "「同等以上でないかあるいはけばけばしくないかまたは両方ともである」物はある"が導かれる
2. 推論1と事実1から、推論2: "この超越神論は牛肉である"が導かれる
3. 推論2と事実3から、仮説が導かれる

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