あのぽちゃぽちゃLv.92は実施すらない
fact1: もしあのぽちゃぽちゃLv.92は苦くて加えて汚れ易いならば実施すらない fact2: もし仮にあのぽちゃぽちゃLv.92が苦いしその上憎らしいとすればあのぽちゃぽちゃLv.92はどうして良くない fact3: 「あのぽちゃぽちゃLv.92は汚れ易い」ということは成り立つ fact4: あのぽちゃぽちゃLv.92は上り易くてさらに日焼けする fact5: あのぽちゃぽちゃLv.92は日焼けする fact6: あのぽちゃぽちゃLv.92は日焼けするしまた苦い
fact6 -> int1: あのぽちゃぽちゃLv.92は苦い; int1 & fact3 -> int2: あのぽちゃぽちゃLv.92は苦いしかつそれは汚れ易い; int2 & fact1 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact1 -> hypothesis;
$facts$ = fact1: もしあのぽちゃぽちゃLv.92は苦くて加えて汚れ易いならば実施すらない fact2: もし仮にあのぽちゃぽちゃLv.92が苦いしその上憎らしいとすればあのぽちゃぽちゃLv.92はどうして良くない fact3: 「あのぽちゃぽちゃLv.92は汚れ易い」ということは成り立つ fact4: あのぽちゃぽちゃLv.92は上り易くてさらに日焼けする fact5: あのぽちゃぽちゃLv.92は日焼けする fact6: あのぽちゃぽちゃLv.92は日焼けするしまた苦い ; $hypothesis$ = あのぽちゃぽちゃLv.92は実施すらない ; $proof$ = 
fact6 -> int1: あのぽちゃぽちゃLv.92は苦い; int1 & fact3 -> int2: あのぽちゃぽちゃLv.92は苦いしかつそれは汚れ易い; int2 & fact1 -> hypothesis; __PROVED__
fact6 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact1 -> hypothesis; __PROVED__