「このぴえぴにLv.97は酒臭くて御詳しい」ということは誤りだ
fact1: このぴえぴにLv.97は分解され難い fact2: もしそのまくまねLv.43は分解され難くないならば「このぴえぴにLv.97は酒臭いし御詳しい」ということは偽だ fact3: もし仮にこのぴえぴにLv.97が分解され難いとするとそれは酒臭い fact4: そのまくまねLv.43は御詳しいしそれは分解され難い fact5: もしもこのぴえぴにLv.97が御詳しくないとしたらこのぴちょぴちょLv.80は御詳しい fact6: このぴえぴにLv.97は御詳しい
fact3 & fact1 -> int1: 「このぴえぴにLv.97は酒臭い」ということは本当だ; int1 & fact6 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; int1 & fact6 -> hypothesis;
このぴちょぴちょLv.80は御詳しい
fact8 -> int2: そのまくまねLv.43は御詳しい;
$facts$ = fact1: このぴえぴにLv.97は分解され難い fact2: もしそのまくまねLv.43は分解され難くないならば「このぴえぴにLv.97は酒臭いし御詳しい」ということは偽だ fact3: もし仮にこのぴえぴにLv.97が分解され難いとするとそれは酒臭い fact4: そのまくまねLv.43は御詳しいしそれは分解され難い fact5: もしもこのぴえぴにLv.97が御詳しくないとしたらこのぴちょぴちょLv.80は御詳しい fact6: このぴえぴにLv.97は御詳しい ; $hypothesis$ = 「このぴえぴにLv.97は酒臭くて御詳しい」ということは誤りだ ; $proof$ = 
fact3 & fact1 -> int1: 「このぴえぴにLv.97は酒臭い」ということは本当だ; int1 & fact6 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{a}; int1 & fact6 -> hypothesis; __DISPROVED__