「あのぴねぴなLv.3は賑々しくない」ということは成り立つ
fact1: 「そのぴちゅぴやLv.98が聞き忘れるしその上それは言い出し難い」ということは本当だ fact2: あのぴのぴよLv.24は聞き忘れるしおまけに遜色無い fact3: そのぴちゅぴやLv.98は言い出し難い fact4: そのぴちゅぴやLv.98は怠い fact5: 仮にそのぴちゅぴやLv.98が聞き忘れるし更に怠いとすればあのぴねぴなLv.3は賑々しくない
fact1 -> int1: そのぴちゅぴやLv.98は聞き忘れる; int1 & fact4 -> int2: そのぴちゅぴやLv.98は聞き忘れるし更に怠い; int2 & fact5 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {C}{a}); int2 & fact5 -> hypothesis;
$facts$ = fact1: 「そのぴちゅぴやLv.98が聞き忘れるしその上それは言い出し難い」ということは本当だ fact2: あのぴのぴよLv.24は聞き忘れるしおまけに遜色無い fact3: そのぴちゅぴやLv.98は言い出し難い fact4: そのぴちゅぴやLv.98は怠い fact5: 仮にそのぴちゅぴやLv.98が聞き忘れるし更に怠いとすればあのぴねぴなLv.3は賑々しくない ; $hypothesis$ = 「あのぴねぴなLv.3は賑々しくない」ということは成り立つ ; $proof$ = 
fact1 -> int1: そのぴちゅぴやLv.98は聞き忘れる; int1 & fact4 -> int2: そのぴちゅぴやLv.98は聞き忘れるし更に怠い; int2 & fact5 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{a} & {C}{a}); int2 & fact5 -> hypothesis; __PROVED__