そのぽよぽなLv.57は閉じない
fact1: 「あのぷわぷくLv.93は粘っこい」ということは嘘でない fact2: もしも「あのぷわぷくLv.93はどぎつかないしそれは限り無しない」ということは成り立てばそのぽよぽなLv.57は閉じる fact3: もし仮にあのぷわぷくLv.93が粘っこいならあのぷわぷくLv.93は限り無しない fact4: 仮にこのぴゆぴにゃLv.46が分かり易くないならこのまのまくLv.97は感じ難くないがそれは閉じる fact5: もしこのまのまくLv.97が感じ難くない一方で閉じるとすればそのみちゅみちょLv.28は閉じない fact6: 仮にこのぷゆぷやLv.72が切り難くないとするとこのぴゆぴにゃLv.46は分かり易くないけど発現し易い fact7: 粘っこいモンスターはどぎつかないし限り無しない fact8: 仮にこのぷゆぷやLv.72が疲れ易くないならそれは切り難くなくてさらにそれは怪しい
fact7 -> int1: 「あのぷわぷくLv.93が粘っこいとすればあのぷわぷくLv.93はどぎつかないしかつ限り無しということはない」ということは正しい; int1 & fact1 -> int2: あのぷわぷくLv.93はどぎついということはなくてかつ限り無しない; int2 & fact2 -> hypothesis;
fact7 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> hypothesis;
そのぽよぽなLv.57は閉じない
$facts$ = fact1: 「あのぷわぷくLv.93は粘っこい」ということは嘘でない fact2: もしも「あのぷわぷくLv.93はどぎつかないしそれは限り無しない」ということは成り立てばそのぽよぽなLv.57は閉じる fact3: もし仮にあのぷわぷくLv.93が粘っこいならあのぷわぷくLv.93は限り無しない fact4: 仮にこのぴゆぴにゃLv.46が分かり易くないならこのまのまくLv.97は感じ難くないがそれは閉じる fact5: もしこのまのまくLv.97が感じ難くない一方で閉じるとすればそのみちゅみちょLv.28は閉じない fact6: 仮にこのぷゆぷやLv.72が切り難くないとするとこのぴゆぴにゃLv.46は分かり易くないけど発現し易い fact7: 粘っこいモンスターはどぎつかないし限り無しない fact8: 仮にこのぷゆぷやLv.72が疲れ易くないならそれは切り難くなくてさらにそれは怪しい ; $hypothesis$ = そのぽよぽなLv.57は閉じない ; $proof$ = 
fact7 -> int1: 「あのぷわぷくLv.93が粘っこいとすればあのぷわぷくLv.93はどぎつかないしかつ限り無しということはない」ということは正しい; int1 & fact1 -> int2: あのぷわぷくLv.93はどぎついということはなくてかつ限り無しない; int2 & fact2 -> hypothesis; __DISPROVED__
fact7 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> hypothesis; __DISPROVED__