もしもこのぴくぴわLv.36が大きいとするとあのもにゃもえLv.14は伸び始める
fact1: なんらかのモンスターは大きいとすると「少なしないし更に茶色いということはない」ということは誤っている fact2: もしあのもにゃもえLv.14がさもしいとすればあのもにゃもえLv.14は美し fact3: 仮に「このぴくぴわLv.36は少なしないしそれに茶色くない」ということは成り立たないとすると「あのもにゃもえLv.14は伸び始める」ということは確かである fact4: 「このぴくぴわLv.36は少なし一方で茶色くない」ということは成り立たない
fact1 -> int1: もし仮にこのぴくぴわLv.36は大きいとしたら「このぴくぴわLv.36は少なしないし更にそれは茶色くない」ということは間違いだ; void -> assump1: 以下のように仮定する。このぴくぴわLv.36は大きい; int1 & assump1 -> int2: 「このぴくぴわLv.36は少なしないしおまけに茶色くない」ということは事実でない; int2 & fact3 -> int3: あのもにゃもえLv.14は伸び始める; [assump1] & int3 -> hypothesis;
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> int3: {B}{a}; [assump1] & int3 -> hypothesis;
あのぽなぽゆLv.44は大きい
$facts$ = fact1: なんらかのモンスターは大きいとすると「少なしないし更に茶色いということはない」ということは誤っている fact2: もしあのもにゃもえLv.14がさもしいとすればあのもにゃもえLv.14は美し fact3: 仮に「このぴくぴわLv.36は少なしないしそれに茶色くない」ということは成り立たないとすると「あのもにゃもえLv.14は伸び始める」ということは確かである fact4: 「このぴくぴわLv.36は少なし一方で茶色くない」ということは成り立たない ; $hypothesis$ = もしもこのぴくぴわLv.36が大きいとするとあのもにゃもえLv.14は伸び始める ; $proof$ = 
fact1 -> int1: もし仮にこのぴくぴわLv.36は大きいとしたら「このぴくぴわLv.36は少なしないし更にそれは茶色くない」ということは間違いだ; void -> assump1: 以下のように仮定する。このぴくぴわLv.36は大きい; int1 & assump1 -> int2: 「このぴくぴわLv.36は少なしないしおまけに茶色くない」ということは事実でない; int2 & fact3 -> int3: あのもにゃもえLv.14は伸び始める; [assump1] & int3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); void -> assump1: {A}{aa}; int1 & assump1 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int2 & fact3 -> int3: {B}{a}; [assump1] & int3 -> hypothesis; __PROVED__