そのぷにぷねLv.28は眠たい
fact1: もしそのぷにぷねLv.28が女々しいとしたらそのまいまにLv.40は眠たい fact2: そのまいまにLv.40は立法化しない fact3: もしもそのまいまにLv.40が女々しいけど立法化しないならこのまにまゆLv.0はうら若い fact4: そのまいまにLv.40は女々しいが立法化しない fact5: もし仮にそのまいまにLv.40が女々しいし立法化するとすればこのまにまゆLv.0はうら若い fact6: 仮にこのまにまゆLv.0はうら若いとしたら「そのぷにぷねLv.28は眠たい」ということは事実だ
fact3 & fact4 -> int1: このまにまゆLv.0はうら若い; int1 & fact6 -> hypothesis;
fact3 & fact4 -> int1: {B}{b}; int1 & fact6 -> hypothesis;
$facts$ = fact1: もしそのぷにぷねLv.28が女々しいとしたらそのまいまにLv.40は眠たい fact2: そのまいまにLv.40は立法化しない fact3: もしもそのまいまにLv.40が女々しいけど立法化しないならこのまにまゆLv.0はうら若い fact4: そのまいまにLv.40は女々しいが立法化しない fact5: もし仮にそのまいまにLv.40が女々しいし立法化するとすればこのまにまゆLv.0はうら若い fact6: 仮にこのまにまゆLv.0はうら若いとしたら「そのぷにぷねLv.28は眠たい」ということは事実だ ; $hypothesis$ = そのぷにぷねLv.28は眠たい ; $proof$ = 
fact3 & fact4 -> int1: このまにまゆLv.0はうら若い; int1 & fact6 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: {B}{b}; int1 & fact6 -> hypothesis; __PROVED__