そのまくまくLv.95はよだつ
fact1: もしも「このもにゃものLv.57は移り難いしねちっこい」ということは真実であるとしたらそのまくまくLv.95はよだたない fact2: べた付き易いモンスターは例外無くないとすれば「ねちっこいということはない」ということは本当である fact3: このもにゃものLv.57はねちっこい fact4: このもにゃものLv.57は聡い fact5: このもにゃものLv.57は根深くない fact6: 聡いモンスターは根深くない一方で移り難い fact7: このぴくぴわLv.56は移り難くないモンスターであってまた眠たい fact8: もし仮にそのぷちょぷにゃLv.6がねちっこくないとしたらそのまくまくLv.95はよだつしかつ聡い
fact6 -> int1: もしこのもにゃものLv.57が聡いとすれば根深くないが移り難い; int1 & fact4 -> int2: このもにゃものLv.57は根深いということはないがそれは移り難い; int2 -> int3: このもにゃものLv.57は移り難い; int3 & fact3 -> int4: このもにゃものLv.57は移り難いしさらにそれはねちっこい; int4 & fact1 -> hypothesis;
fact6 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; int3 & fact3 -> int4: ({AB}{aa} & {B}{aa}); int4 & fact1 -> hypothesis;
そのまくまくLv.95はよだつ
fact9 -> int5: もし仮にそのぽちゃぽいLv.19はべた付き易いが例外無くないならそれはねちっこくない;
$facts$ = fact1: もしも「このもにゃものLv.57は移り難いしねちっこい」ということは真実であるとしたらそのまくまくLv.95はよだたない fact2: べた付き易いモンスターは例外無くないとすれば「ねちっこいということはない」ということは本当である fact3: このもにゃものLv.57はねちっこい fact4: このもにゃものLv.57は聡い fact5: このもにゃものLv.57は根深くない fact6: 聡いモンスターは根深くない一方で移り難い fact7: このぴくぴわLv.56は移り難くないモンスターであってまた眠たい fact8: もし仮にそのぷちょぷにゃLv.6がねちっこくないとしたらそのまくまくLv.95はよだつしかつ聡い ; $hypothesis$ = そのまくまくLv.95はよだつ ; $proof$ = 
fact6 -> int1: もしこのもにゃものLv.57が聡いとすれば根深くないが移り難い; int1 & fact4 -> int2: このもにゃものLv.57は根深いということはないがそれは移り難い; int2 -> int3: このもにゃものLv.57は移り難い; int3 & fact3 -> int4: このもにゃものLv.57は移り難いしさらにそれはねちっこい; int4 & fact1 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact4 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 -> int3: {AB}{aa}; int3 & fact3 -> int4: ({AB}{aa} & {B}{aa}); int4 & fact1 -> hypothesis; __DISPROVED__