「このまにまちゅLv.61はひ弱いということはないがしかし運送する」ということは偽である
fact1: もし仮にあのもにゃものLv.87はひ弱いかあるいはつれないかもしくは両方ともであるならば「このまにまちゅLv.61は運送しない」ということは確かだ fact2: もしもあのもにゃものLv.87が茶色っぽいかもしくはつれないとしたらこのまにまちゅLv.61は罪深くない fact3: あのもにゃものLv.87は茶色っぽい fact4: もしこのまにまちゅLv.61は罪深くないなら「このまにまちゅLv.61はひ弱くないけど運送する」ということは間違っている
fact3 -> int1: あのもにゃものLv.87は茶色っぽいかつれない; int1 & fact2 -> int2: このまにまちゅLv.61は罪深くない; int2 & fact4 -> hypothesis;
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: もし仮にあのもにゃものLv.87はひ弱いかあるいはつれないかもしくは両方ともであるならば「このまにまちゅLv.61は運送しない」ということは確かだ fact2: もしもあのもにゃものLv.87が茶色っぽいかもしくはつれないとしたらこのまにまちゅLv.61は罪深くない fact3: あのもにゃものLv.87は茶色っぽい fact4: もしこのまにまちゅLv.61は罪深くないなら「このまにまちゅLv.61はひ弱くないけど運送する」ということは間違っている ; $hypothesis$ = 「このまにまちゅLv.61はひ弱いということはないがしかし運送する」ということは偽である ; $proof$ = 
fact3 -> int1: あのもにゃものLv.87は茶色っぽいかつれない; int1 & fact2 -> int2: このまにまちゅLv.61は罪深くない; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: ({A}{a} v {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact4 -> hypothesis; __PROVED__