あのまちゃまねLv.54は男っぽい
fact1: もしこのみいみやLv.43が過不足無くないとすればあのぷにゃぷちゃLv.52は萎びる一方で男っぽくない fact2: すべてのモンスターは男っぽい fact3: 仮にあのぷにゃぷちゃLv.52が萎びるけど男っぽくないならあのまちゃまねLv.54は男っぽくない fact4: このぷちゃぷわLv.25は男っぽい fact5: もしもなんらかのモンスターは御辛いとすれば「それは過不足無くてそれは入り辛くない」ということは成り立つということはない fact6: もし仮に「なんらかのモンスターは過不足無いけれど入り辛くない」ということは嘘だとすると過不足無くない
fact2 -> int1: すべてのモンスターは男っぽい; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのまちゃまねLv.54は男っぽくない
fact10 -> int2: 仮に「このみいみやLv.43は過不足無いけど入り辛くない」ということは間違いであるとすれば過不足無いということはない; fact9 -> int3: このみいみやLv.43は御辛いとすると「それは過不足無いしまたそれは入り辛くない」ということは誤りである;
$facts$ = fact1: もしこのみいみやLv.43が過不足無くないとすればあのぷにゃぷちゃLv.52は萎びる一方で男っぽくない fact2: すべてのモンスターは男っぽい fact3: 仮にあのぷにゃぷちゃLv.52が萎びるけど男っぽくないならあのまちゃまねLv.54は男っぽくない fact4: このぷちゃぷわLv.25は男っぽい fact5: もしもなんらかのモンスターは御辛いとすれば「それは過不足無くてそれは入り辛くない」ということは成り立つということはない fact6: もし仮に「なんらかのモンスターは過不足無いけれど入り辛くない」ということは嘘だとすると過不足無くない ; $hypothesis$ = あのまちゃまねLv.54は男っぽい ; $proof$ = 
fact2 -> int1: すべてのモンスターは男っぽい; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__