「油っぽいということおよび愛くるしいということが生じる」ということは間違っている
fact1: 「短縮出来ることおよび油っぽいということが生じる」ということは本当である fact2: 愛くるしいということが生じる fact3: 油っぽいということは発生しないということは払い除けることと短縮出来ることが生じるを生じさせる
fact1 -> int1: 油っぽいということが起きる; int1 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 & fact2 -> hypothesis;
払い除けることが起きる
$facts$ = fact1: 「短縮出来ることおよび油っぽいということが生じる」ということは本当である fact2: 愛くるしいということが生じる fact3: 油っぽいということは発生しないということは払い除けることと短縮出来ることが生じるを生じさせる ; $hypothesis$ = 「油っぽいということおよび愛くるしいということが生じる」ということは間違っている ; $proof$ = 
fact1 -> int1: 油っぽいということが起きる; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}; int1 & fact2 -> hypothesis; __DISPROVED__