あのまねまちょLv.79は機能出来る
fact1: あのまねまちょLv.79は彼女らしいとすると「機能出来る」ということは成り立つ fact2: あのまねまちょLv.79は真白い fact3: 仮にあのぴねぴねLv.58が堪るとしたら止む無し fact4: もし仮にあのまねまちょLv.79がこっ酷いならばあのまねまちょLv.79は彼女らしい fact5: あのまねまちょLv.79は止む無し fact6: 仮にあのまねまちょLv.79が止む無しならこっ酷い fact7: このまにまにLv.66はこっ酷い fact8: あのまねまちょLv.79が彼女らしいし加えて機能出来るとしたらあのみちょみのLv.86は彼女らしいということはない
fact6 & fact5 -> int1: あのまねまちょLv.79はこっ酷い; int1 & fact4 -> int2: あのまねまちょLv.79は彼女らしい; int2 & fact1 -> hypothesis;
fact6 & fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
あのみちょみのLv.86は止む無し
$facts$ = fact1: あのまねまちょLv.79は彼女らしいとすると「機能出来る」ということは成り立つ fact2: あのまねまちょLv.79は真白い fact3: 仮にあのぴねぴねLv.58が堪るとしたら止む無し fact4: もし仮にあのまねまちょLv.79がこっ酷いならばあのまねまちょLv.79は彼女らしい fact5: あのまねまちょLv.79は止む無し fact6: 仮にあのまねまちょLv.79が止む無しならこっ酷い fact7: このまにまにLv.66はこっ酷い fact8: あのまねまちょLv.79が彼女らしいし加えて機能出来るとしたらあのみちょみのLv.86は彼女らしいということはない ; $hypothesis$ = あのまねまちょLv.79は機能出来る ; $proof$ = 
fact6 & fact5 -> int1: あのまねまちょLv.79はこっ酷い; int1 & fact4 -> int2: あのまねまちょLv.79は彼女らしい; int2 & fact1 -> hypothesis; __PROVED__
fact6 & fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __PROVED__