あのぽちゅぽゆLv.46は新しい
fact1: あのぽちゅぽゆLv.46はすばしっこくない fact2: あのぽちゅぽゆLv.46が消し終わるとすればあのぽちゅぽゆLv.46は新しくない fact3: 仮にあのぽちゅぽゆLv.46がすばしっこくないとするとあのぽちゅぽゆLv.46は侵入し易いししかも生臭い fact4: あのぽちゅぽゆLv.46がすばしっこくないとしたら生臭い fact5: もし仮にあのぽちゅぽゆLv.46は侵入し易いか消し終わるかもしくは両方であるとしたら新しくない
fact3 & fact1 -> int1: あのぽちゅぽゆLv.46は侵入し易いし加えて生臭い; int1 -> int2: あのぽちゅぽゆLv.46は侵入し易い; int2 -> int3: あのぽちゅぽゆLv.46は侵入し易いかまたは消し終わるかまたは両方ともだ; int3 & fact5 -> hypothesis;
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 -> int3: ({A}{a} v {C}{a}); int3 & fact5 -> hypothesis;
$facts$ = fact1: あのぽちゅぽゆLv.46はすばしっこくない fact2: あのぽちゅぽゆLv.46が消し終わるとすればあのぽちゅぽゆLv.46は新しくない fact3: 仮にあのぽちゅぽゆLv.46がすばしっこくないとするとあのぽちゅぽゆLv.46は侵入し易いししかも生臭い fact4: あのぽちゅぽゆLv.46がすばしっこくないとしたら生臭い fact5: もし仮にあのぽちゅぽゆLv.46は侵入し易いか消し終わるかもしくは両方であるとしたら新しくない ; $hypothesis$ = あのぽちゅぽゆLv.46は新しい ; $proof$ = 
fact3 & fact1 -> int1: あのぽちゅぽゆLv.46は侵入し易いし加えて生臭い; int1 -> int2: あのぽちゅぽゆLv.46は侵入し易い; int2 -> int3: あのぽちゅぽゆLv.46は侵入し易いかまたは消し終わるかまたは両方ともだ; int3 & fact5 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {A}{a}; int2 -> int3: ({A}{a} v {C}{a}); int3 & fact5 -> hypothesis; __DISPROVED__