そのぷにょぷなLv.65は掴み取るしそれにそれは寒々しい
fact1: もしもそのぷにょぷなLv.65は擱座するとすれば「そのぷにょぷなLv.65は小さい」ということは確かである fact2: 小さいモンスターは腑甲斐無い fact3: もし「そのぷにょぷなLv.65は悍ましい」ということは成り立つとしたらそのぷにょぷなLv.65は小さい fact4: そのぷにょぷなLv.65は寒々しい fact5: そのぷにょぷなLv.65は悍ましい fact6: そのぷにょぷなLv.65は比例する fact7: もし仮にそのぷにょぷなLv.65が小さいならばそのぷにょぷなLv.65は掴み取る
fact3 & fact5 -> int1: そのぷにょぷなLv.65は小さい; int1 & fact7 -> int2: そのぷにょぷなLv.65は掴み取る; int2 & fact4 -> hypothesis;
fact3 & fact5 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact4 -> hypothesis;
もし仮にそのまにゅまちゅLv.6が小さいとするとそのまにゅまちゅLv.6は腑甲斐無い
fact8 -> hypothesis;
$facts$ = fact1: もしもそのぷにょぷなLv.65は擱座するとすれば「そのぷにょぷなLv.65は小さい」ということは確かである fact2: 小さいモンスターは腑甲斐無い fact3: もし「そのぷにょぷなLv.65は悍ましい」ということは成り立つとしたらそのぷにょぷなLv.65は小さい fact4: そのぷにょぷなLv.65は寒々しい fact5: そのぷにょぷなLv.65は悍ましい fact6: そのぷにょぷなLv.65は比例する fact7: もし仮にそのぷにょぷなLv.65が小さいならばそのぷにょぷなLv.65は掴み取る ; $hypothesis$ = そのぷにょぷなLv.65は掴み取るしそれにそれは寒々しい ; $proof$ = 
fact3 & fact5 -> int1: そのぷにょぷなLv.65は小さい; int1 & fact7 -> int2: そのぷにょぷなLv.65は掴み取る; int2 & fact4 -> hypothesis; __PROVED__
fact3 & fact5 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact4 -> hypothesis; __PROVED__