このもにゃもいLv.72は推進する
fact1: もしもあのみくみなLv.28は欲深くないなら「そのぷゆぷゆLv.98は欲深い」ということは本当である fact2: 欲深いモンスターはとろい fact3: 「すべてのモンスターは軽しし欲深い」ということは成り立つ fact4: あのみくみなLv.28は攻撃し易い fact5: もし仮にあのみくみなLv.28が欲深くてかつそれが攻撃し易いとするとこのもにゃもいLv.72は推進しない fact6: あのみくみなLv.28は軽し
fact3 -> int1: あのみくみなLv.28は軽ししさらに欲深い; int1 -> int2: あのみくみなLv.28は欲深い; int2 & fact4 -> int3: あのみくみなLv.28は欲深くておまけに攻撃し易い; int3 & fact5 -> hypothesis;
fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact4 -> int3: ({B}{a} & {C}{a}); int3 & fact5 -> hypothesis;
そのぷゆぷゆLv.98はとろいし如才無い
fact8 -> int4: そのぷゆぷゆLv.98は欲深いとすれば「それはとろい」ということは本当だ;
$facts$ = fact1: もしもあのみくみなLv.28は欲深くないなら「そのぷゆぷゆLv.98は欲深い」ということは本当である fact2: 欲深いモンスターはとろい fact3: 「すべてのモンスターは軽しし欲深い」ということは成り立つ fact4: あのみくみなLv.28は攻撃し易い fact5: もし仮にあのみくみなLv.28が欲深くてかつそれが攻撃し易いとするとこのもにゃもいLv.72は推進しない fact6: あのみくみなLv.28は軽し ; $hypothesis$ = このもにゃもいLv.72は推進する ; $proof$ = 
fact3 -> int1: あのみくみなLv.28は軽ししさらに欲深い; int1 -> int2: あのみくみなLv.28は欲深い; int2 & fact4 -> int3: あのみくみなLv.28は欲深くておまけに攻撃し易い; int3 & fact5 -> hypothesis; __DISPROVED__
fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact4 -> int3: ({B}{a} & {C}{a}); int3 & fact5 -> hypothesis; __DISPROVED__