そのぴにぴねLv.41は御一読下さる
fact1: もしそのぽわぽなLv.1が忍耐強くないけど寄る辺無いとするとそのぽわぽなLv.1は紛らわしくない fact2: 物らしいということはないモンスターは皮肉っぽくないががめつい fact3: そのみいみなLv.61は物らしくない fact4: 仮にそのみいみなLv.61が皮肉っぽくないけどがめついとすればそのぴにぴねLv.41は御一読下さる fact5: そのぽわぽなLv.1は忍耐強くない一方で寄る辺無い
fact2 -> int1: もしそのみいみなLv.61は物らしくないとすると「そのみいみなLv.61は皮肉っぽくないけどそれはがめつい」ということは成り立つ; int1 & fact3 -> int2: そのみいみなLv.61は皮肉っぽくないががめつい; int2 & fact4 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 & fact4 -> hypothesis;
あのぷえぷにLv.71は皮肉っぽい
fact6 & fact7 -> int3: そのぽわぽなLv.1は紛らわしくない; int3 -> int4: 「「紛らわしい」ということは偽である」モンスターはいる;
$facts$ = fact1: もしそのぽわぽなLv.1が忍耐強くないけど寄る辺無いとするとそのぽわぽなLv.1は紛らわしくない fact2: 物らしいということはないモンスターは皮肉っぽくないががめつい fact3: そのみいみなLv.61は物らしくない fact4: 仮にそのみいみなLv.61が皮肉っぽくないけどがめついとすればそのぴにぴねLv.41は御一読下さる fact5: そのぽわぽなLv.1は忍耐強くない一方で寄る辺無い ; $hypothesis$ = そのぴにぴねLv.41は御一読下さる ; $proof$ = 
fact2 -> int1: もしそのみいみなLv.61は物らしくないとすると「そのみいみなLv.61は皮肉っぽくないけどそれはがめつい」ということは成り立つ; int1 & fact3 -> int2: そのみいみなLv.61は皮肉っぽくないががめつい; int2 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 & fact3 -> int2: (¬{AA}{aa} & {AB}{aa}); int2 & fact4 -> hypothesis; __PROVED__