「このぷよぷくLv.2はおっかない」ということは成り立つ
fact1: もし仮にあるモンスターが火照らないとするとおっかなくない fact2: もしあるモンスターが火照ればおっかない fact3: 全てのモンスターはおっかない fact4: もしあのぴちゅぴちゃLv.37が田舎っぽくて太り難いとするとこのぷよぷくLv.2は火照るということはない fact5: あのぴちゅぴちゃLv.37は田舎っぽくてまた乗り易い
fact3 -> int1: 全てのモンスターはおっかない; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
そのぽちゅぽよLv.19はおっかない
fact6 -> int2: そのぽちゅぽよLv.19が火照るとするとそれはおっかない;
$facts$ = fact1: もし仮にあるモンスターが火照らないとするとおっかなくない fact2: もしあるモンスターが火照ればおっかない fact3: 全てのモンスターはおっかない fact4: もしあのぴちゅぴちゃLv.37が田舎っぽくて太り難いとするとこのぷよぷくLv.2は火照るということはない fact5: あのぴちゅぴちゃLv.37は田舎っぽくてまた乗り易い ; $hypothesis$ = 「このぷよぷくLv.2はおっかない」ということは成り立つ ; $proof$ = 
fact3 -> int1: 全てのモンスターはおっかない; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__