このもなもよLv.25は見え辛いしそれに見難い
fact1: 「仮にこのぽねぽねLv.15が態とらしいしその上御寒いならこのぽねぽねLv.15は見難くない」ということは正しい fact2: このぽねぽねLv.15が見難くないとしたらこのもなもよLv.25は見え辛くてかつ見難い fact3: 「このぽねぽねLv.15は御寒い」ということは成り立つ fact4: もしなんらかのモンスターは態とらしくないとすると「それは見え辛くておまけに見難い」ということは誤りである fact5: このぽねぽねLv.15は態とらしい
fact5 & fact3 -> int1: このぽねぽねLv.15は態とらしいししかも御寒い; int1 & fact1 -> int2: このぽねぽねLv.15は見難くない; int2 & fact2 -> hypothesis;
fact5 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact2 -> hypothesis;
「このもなもよLv.25は見え辛いし見難い」ということは成り立たない
fact6 -> int3: もしこのもなもよLv.25は態とらしくないとすれば「このもなもよLv.25は見え辛くて加えて見難い」ということは誤りだ;
$facts$ = fact1: 「仮にこのぽねぽねLv.15が態とらしいしその上御寒いならこのぽねぽねLv.15は見難くない」ということは正しい fact2: このぽねぽねLv.15が見難くないとしたらこのもなもよLv.25は見え辛くてかつ見難い fact3: 「このぽねぽねLv.15は御寒い」ということは成り立つ fact4: もしなんらかのモンスターは態とらしくないとすると「それは見え辛くておまけに見難い」ということは誤りである fact5: このぽねぽねLv.15は態とらしい ; $hypothesis$ = このもなもよLv.25は見え辛いしそれに見難い ; $proof$ = 
fact5 & fact3 -> int1: このぽねぽねLv.15は態とらしいししかも御寒い; int1 & fact1 -> int2: このぽねぽねLv.15は見難くない; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact3 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact2 -> hypothesis; __PROVED__