「あのものもやLv.11は利き難くない」ということは事実である
fact1: あのぴゆぴちょLv.3は食べ易い fact2: もしもあのぴゆぴちょLv.3が食べ易いとしたらあのぴゆぴちょLv.3は痛々しい fact3: あのぴゆぴちょLv.3は面白おかしい fact4: もしあのぴゆぴちょLv.3が痛々しくて面白おかしいならばあのものもやLv.11は利き難くない
fact2 & fact1 -> int1: あのぴゆぴちょLv.3は痛々しい; int1 & fact3 -> int2: あのぴゆぴちょLv.3は痛々しいし更に面白おかしい; int2 & fact4 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> hypothesis;
$facts$ = fact1: あのぴゆぴちょLv.3は食べ易い fact2: もしもあのぴゆぴちょLv.3が食べ易いとしたらあのぴゆぴちょLv.3は痛々しい fact3: あのぴゆぴちょLv.3は面白おかしい fact4: もしあのぴゆぴちょLv.3が痛々しくて面白おかしいならばあのものもやLv.11は利き難くない ; $hypothesis$ = 「あのものもやLv.11は利き難くない」ということは事実である ; $proof$ = 
fact2 & fact1 -> int1: あのぴゆぴちょLv.3は痛々しい; int1 & fact3 -> int2: あのぴゆぴちょLv.3は痛々しいし更に面白おかしい; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> hypothesis; __PROVED__