このまいまなLv.38は仲間らしくない
fact1: すべてのモンスターは特進するしまた街らしい fact2: 焦げ臭くないモンスターは如此しし更に仲間らしい fact3: あらゆるモンスターは仲間らしい fact4: このまいまなLv.38は涙脆い fact5: すべてのモンスターは焦げ臭い
fact3 -> int1: あらゆるモンスターは仲間らしい; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
「全てのモンスターは如此し」ということは確かである
fact6 -> int2: もし仮にこのまいまなLv.38が焦げ臭いということはないならばこのまいまなLv.38は如此しし加えて仲間らしい; fact7 -> int3: 「このまいまなLv.38は特進するしさらに街らしい」ということは成り立つ; int3 -> int4: このまいまなLv.38は街らしい;
$facts$ = fact1: すべてのモンスターは特進するしまた街らしい fact2: 焦げ臭くないモンスターは如此しし更に仲間らしい fact3: あらゆるモンスターは仲間らしい fact4: このまいまなLv.38は涙脆い fact5: すべてのモンスターは焦げ臭い ; $hypothesis$ = このまいまなLv.38は仲間らしくない ; $proof$ = 
fact3 -> int1: あらゆるモンスターは仲間らしい; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__