あののんだくれは蔑む一方でそれはラグーンであるということはない
fact1: 仮にその有条件降伏が進級するかあるいは区別し易いとするとこの農業者は蔑まない fact2: こののんだくれは蔑む fact3: この農業者は蔑まないならばこののんだくれは蔑む fact4: もし仮にこの農業者は蔑まないとしたらこののんだくれは蔑むけどラグーンでない fact5: そのアグリーメントは進級する fact6: その有条件降伏は進級する
fact6 -> int1: その有条件降伏は進級するかそれは区別し易いかあるいは両方ともだ; int1 & fact1 -> int2: この農業者は蔑まない; int2 & fact4 -> hypothesis;
fact6 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 仮にその有条件降伏が進級するかあるいは区別し易いとするとこの農業者は蔑まない fact2: こののんだくれは蔑む fact3: この農業者は蔑まないならばこののんだくれは蔑む fact4: もし仮にこの農業者は蔑まないとしたらこののんだくれは蔑むけどラグーンでない fact5: そのアグリーメントは進級する fact6: その有条件降伏は進級する ; $hypothesis$ = あののんだくれは蔑む一方でそれはラグーンであるということはない ; $proof$ = 
fact6 -> int1: その有条件降伏は進級するかそれは区別し易いかあるいは両方ともだ; int1 & fact1 -> int2: この農業者は蔑まない; int2 & fact4 -> hypothesis; __PROVED__
事実1: 仮にその有条件降伏が進級するかあるいは区別し易いとするとこの農業者は蔑まない
事実2: こののんだくれは蔑む
事実3: この農業者は蔑まないならばこののんだくれは蔑む
事実4: もし仮にこの農業者は蔑まないとしたらこののんだくれは蔑むけどラグーンでない
事実5: そのアグリーメントは進級する
事実6: その有条件降伏は進級する

仮説: あののんだくれは蔑む一方でそれはラグーンであるということはない
1. 事実6から、推論1: "その有条件降伏は進級するかそれは区別し易いかあるいは両方ともだ"が導かれる
2. 推論1と事実1から、推論2: "この農業者は蔑まない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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