そのまのまねLv.58はハッキングする
fact1: このぽえぽなLv.93はハッキングする fact2: このぷよぷにょLv.68は塩っ辛くない fact3: そのまのまねLv.58は恙無い fact4: もしもこのぷよぷにょLv.68が塩っ辛くないとしたらこのぽえぽなLv.93は抜け易い fact5: もし仮にこのぽえぽなLv.93は構成すとしたら「そのまのまねLv.58はハッキングする」ということは成り立つ fact6: もしこのぽえぽなLv.93が抜け易いとすればこのぽえぽなLv.93は構成す
fact4 & fact2 -> int1: このぽえぽなLv.93は抜け易い; int1 & fact6 -> int2: このぽえぽなLv.93は構成す; int2 & fact5 -> hypothesis;
fact4 & fact2 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
$facts$ = fact1: このぽえぽなLv.93はハッキングする fact2: このぷよぷにょLv.68は塩っ辛くない fact3: そのまのまねLv.58は恙無い fact4: もしもこのぷよぷにょLv.68が塩っ辛くないとしたらこのぽえぽなLv.93は抜け易い fact5: もし仮にこのぽえぽなLv.93は構成すとしたら「そのまのまねLv.58はハッキングする」ということは成り立つ fact6: もしこのぽえぽなLv.93が抜け易いとすればこのぽえぽなLv.93は構成す ; $hypothesis$ = そのまのまねLv.58はハッキングする ; $proof$ = 
fact4 & fact2 -> int1: このぽえぽなLv.93は抜け易い; int1 & fact6 -> int2: このぽえぽなLv.93は構成す; int2 & fact5 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __PROVED__