このぷよぷにLv.80は図々しいしそれにそれは発症し易い
fact1: 仮になんらかのモンスターは作り易くないがしかし吐かせばそれは図々しい fact2: このぷよぷにLv.80は発症し易い fact3: 「このぷよぷにLv.80は懐こくない」ということは確かである fact4: 仮にこのぷよぷにLv.80が懐こいということはないとすればこのぷよぷにLv.80は作り易くないがしかし吐かす fact5: 「上げ難くなくてかつそれは動かない」ということは真実だというモンスターはない
fact1 -> int1: 仮にこのぷよぷにLv.80は作り易くないがしかし吐かすとしたら図々しい; fact3 & fact4 -> int2: このぷよぷにLv.80は作り易くないがしかし吐かす; int1 & int2 -> int3: 「このぷよぷにLv.80は図々しい」ということは事実だ; int3 & fact2 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact3 & fact4 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact2 -> hypothesis;
「このぷよぷにLv.80は図々しくてかつ発症し易い」ということは成り立たない
fact6 -> int4: 「そのもちゅもにLv.47は上げ難いということはなくておまけに動かない」ということは間違っている;
$facts$ = fact1: 仮になんらかのモンスターは作り易くないがしかし吐かせばそれは図々しい fact2: このぷよぷにLv.80は発症し易い fact3: 「このぷよぷにLv.80は懐こくない」ということは確かである fact4: 仮にこのぷよぷにLv.80が懐こいということはないとすればこのぷよぷにLv.80は作り易くないがしかし吐かす fact5: 「上げ難くなくてかつそれは動かない」ということは真実だというモンスターはない ; $hypothesis$ = このぷよぷにLv.80は図々しいしそれにそれは発症し易い ; $proof$ = 
fact1 -> int1: 仮にこのぷよぷにLv.80は作り易くないがしかし吐かすとしたら図々しい; fact3 & fact4 -> int2: このぷよぷにLv.80は作り易くないがしかし吐かす; int1 & int2 -> int3: 「このぷよぷにLv.80は図々しい」ということは事実だ; int3 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact3 & fact4 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 & fact2 -> hypothesis; __PROVED__