このぷにょぷよLv.54は溜め込み易い
fact1: そのまくまちゃLv.7は由々しくないけれど愛らしい fact2: このぷにょぷよLv.54は書き下ろすが滑り難くない fact3: このぷにょぷよLv.54は書き下ろす fact4: もしあのまにゃまいLv.33が溜め込み易いけれどそれが皮肉っぽくないとしたらそれは団結しない fact5: もしもこのぷにょぷよLv.54は書き下ろすが滑り難くないとすると溜め込み易いということはない fact6: もし仮にあのみのみのLv.70が由々しいとするとそのぽいぽゆLv.6は貧しない一方で危うい fact7: 「溜め込み易いモンスターは書き下ろすけれど愛らしくない」ということは事実である
fact2 -> int1: このぷにょぷよLv.54は書き下ろすが滑り難くない; int1 & fact5 -> hypothesis;
fact2 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact5 -> hypothesis;
あのぴのぴちゃLv.11は書き下ろすけれど愛らしくない
fact8 -> int2: もし仮にあのぴのぴちゃLv.11が溜め込み易いならばあのぴのぴちゃLv.11は書き下ろすけれど愛らしいということはない;
$facts$ = fact1: そのまくまちゃLv.7は由々しくないけれど愛らしい fact2: このぷにょぷよLv.54は書き下ろすが滑り難くない fact3: このぷにょぷよLv.54は書き下ろす fact4: もしあのまにゃまいLv.33が溜め込み易いけれどそれが皮肉っぽくないとしたらそれは団結しない fact5: もしもこのぷにょぷよLv.54は書き下ろすが滑り難くないとすると溜め込み易いということはない fact6: もし仮にあのみのみのLv.70が由々しいとするとそのぽいぽゆLv.6は貧しない一方で危うい fact7: 「溜め込み易いモンスターは書き下ろすけれど愛らしくない」ということは事実である ; $hypothesis$ = このぷにょぷよLv.54は溜め込み易い ; $proof$ = 
fact2 -> int1: このぷにょぷよLv.54は書き下ろすが滑り難くない; int1 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact5 -> hypothesis; __DISPROVED__