あのぴゆぴにょLv.92は甘いししかも偏り易い
fact1: 仮にあのぴゆぴにょLv.92が身軽いとしたらあのぴゆぴにょLv.92は甘い fact2: 仮にあのぴゆぴにょLv.92が甘くないかあるいは身軽くないかまたは両方だとするとこのみにみいLv.0は古い fact3: もし仮に「あのぷにょぷねLv.54は放流する」ということは成り立てばあのぷにょぷねLv.54は甘い fact4: 「このみにみいLv.0はボイコットしない」ということは成り立つ fact5: あのぴゆぴにょLv.92は偏り易い fact6: あのぴゆぴにょLv.92は身軽い fact7: 偏り易いモンスターは苦々しい fact8: もしもこのみにみいLv.0がボイコットしないとすればこのみにみいLv.0は看過し難いしその上偏り易い
fact1 & fact6 -> int1: あのぴゆぴにょLv.92は甘い; int1 & fact5 -> hypothesis;
fact1 & fact6 -> int1: {B}{a}; int1 & fact5 -> hypothesis;
このみにみいLv.0は苦々しいしその上古い
fact12 -> int2: このみにみいLv.0が偏り易いならばこのみにみいLv.0は苦々しい; fact11 & fact10 -> int3: このみにみいLv.0は看過し難いし偏り易い; int3 -> int4: このみにみいLv.0は偏り易い; int2 & int4 -> int5: このみにみいLv.0は苦々しい;
$facts$ = fact1: 仮にあのぴゆぴにょLv.92が身軽いとしたらあのぴゆぴにょLv.92は甘い fact2: 仮にあのぴゆぴにょLv.92が甘くないかあるいは身軽くないかまたは両方だとするとこのみにみいLv.0は古い fact3: もし仮に「あのぷにょぷねLv.54は放流する」ということは成り立てばあのぷにょぷねLv.54は甘い fact4: 「このみにみいLv.0はボイコットしない」ということは成り立つ fact5: あのぴゆぴにょLv.92は偏り易い fact6: あのぴゆぴにょLv.92は身軽い fact7: 偏り易いモンスターは苦々しい fact8: もしもこのみにみいLv.0がボイコットしないとすればこのみにみいLv.0は看過し難いしその上偏り易い ; $hypothesis$ = あのぴゆぴにょLv.92は甘いししかも偏り易い ; $proof$ = 
fact1 & fact6 -> int1: あのぴゆぴにょLv.92は甘い; int1 & fact5 -> hypothesis; __PROVED__
fact1 & fact6 -> int1: {B}{a}; int1 & fact5 -> hypothesis; __PROVED__