このまやまいLv.80は見窄らしいしかつ辛気臭い
fact1: あのまのまよLv.1は描き易い fact2: 「このまやまいLv.80は辛気臭い」ということは確かである fact3: このまやまいLv.80は描き易くなくておまけに思慮深くないとしたらそれは見窄らしい fact4: 「このまやまいLv.80は取り難くない」ということは成り立つとすれば「それはまだるっこしいけれど辛気臭くない」ということは事実である fact5: 仮にこのまやまいLv.80が受け難いとすると描き易くないしその上思慮深くない fact6: このまやまいLv.80は受け難い fact7: このまやまいLv.80は切ない
fact5 & fact6 -> int1: このまやまいLv.80は描き易くなくておまけに思慮深くない; int1 & fact3 -> int2: このまやまいLv.80は見窄らしい; int2 & fact2 -> hypothesis;
fact5 & fact6 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> int2: {B}{a}; int2 & fact2 -> hypothesis;
あのぷいぷにLv.54は描き易い
$facts$ = fact1: あのまのまよLv.1は描き易い fact2: 「このまやまいLv.80は辛気臭い」ということは確かである fact3: このまやまいLv.80は描き易くなくておまけに思慮深くないとしたらそれは見窄らしい fact4: 「このまやまいLv.80は取り難くない」ということは成り立つとすれば「それはまだるっこしいけれど辛気臭くない」ということは事実である fact5: 仮にこのまやまいLv.80が受け難いとすると描き易くないしその上思慮深くない fact6: このまやまいLv.80は受け難い fact7: このまやまいLv.80は切ない ; $hypothesis$ = このまやまいLv.80は見窄らしいしかつ辛気臭い ; $proof$ = 
fact5 & fact6 -> int1: このまやまいLv.80は描き易くなくておまけに思慮深くない; int1 & fact3 -> int2: このまやまいLv.80は見窄らしい; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact6 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 & fact3 -> int2: {B}{a}; int2 & fact2 -> hypothesis; __PROVED__