あのぽやぽちゅLv.11はせせこましい
fact1: もし「このもなもいLv.32はややこしい」ということは正しいとすればそのまにまよLv.97は厳しい一方でそれはややこしくない fact2: もし仮にそのまにまよLv.97が厳しいけれどややこしくないとしたら「あのぽやぽちゅLv.11はせせこましい」ということは正しい fact3: このもなもいLv.32は坐す fact4: 「もし仮に「このもなもいLv.32は坐す」ということは本当であるとすればこのもなもいLv.32はややこしい」ということは真実だ
fact4 & fact3 -> int1: このもなもいLv.32はややこしい; int1 & fact1 -> int2: そのまにまよLv.97は厳しいがしかしややこしいということはない; int2 & fact2 -> hypothesis;
fact4 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{b} & ¬{B}{b}); int2 & fact2 -> hypothesis;
$facts$ = fact1: もし「このもなもいLv.32はややこしい」ということは正しいとすればそのまにまよLv.97は厳しい一方でそれはややこしくない fact2: もし仮にそのまにまよLv.97が厳しいけれどややこしくないとしたら「あのぽやぽちゅLv.11はせせこましい」ということは正しい fact3: このもなもいLv.32は坐す fact4: 「もし仮に「このもなもいLv.32は坐す」ということは本当であるとすればこのもなもいLv.32はややこしい」ということは真実だ ; $hypothesis$ = あのぽやぽちゅLv.11はせせこましい ; $proof$ = 
fact4 & fact3 -> int1: このもなもいLv.32はややこしい; int1 & fact1 -> int2: そのまにまよLv.97は厳しいがしかしややこしいということはない; int2 & fact2 -> hypothesis; __PROVED__
fact4 & fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ({C}{b} & ¬{B}{b}); int2 & fact2 -> hypothesis; __PROVED__