このまちゃまゆLv.42は清いか見境無いということはない
fact1: 「このまちゃまゆLv.42は清くない」ということは成り立つ fact2: 「このみやみえLv.98は見境無いかもしくは格好良くないかまたは両方だ」ということは確かだということはない fact3: もし仮にそのみなみちゃLv.50は見境無いとすると「このまちゃまゆLv.42は清いか見境無くないかもしくはどちらもだ」ということは事実と異なる fact4: 「そのみなみちゃLv.50が見境無いとしたらこのまちゃまゆLv.42は清くない」ということは成り立つ fact5: そのまわまやLv.43は清し fact6: もしもそのみなみちゃLv.50が珍しいとすればそのみなみちゃLv.50は見境無い fact7: そのまわまやLv.43が清しとすればそのみなみちゃLv.50は珍しい
fact7 & fact5 -> int1: そのみなみちゃLv.50は珍しい; int1 & fact6 -> int2: そのみなみちゃLv.50は見境無い; int2 & fact3 -> hypothesis;
fact7 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 「このまちゃまゆLv.42は清くない」ということは成り立つ fact2: 「このみやみえLv.98は見境無いかもしくは格好良くないかまたは両方だ」ということは確かだということはない fact3: もし仮にそのみなみちゃLv.50は見境無いとすると「このまちゃまゆLv.42は清いか見境無くないかもしくはどちらもだ」ということは事実と異なる fact4: 「そのみなみちゃLv.50が見境無いとしたらこのまちゃまゆLv.42は清くない」ということは成り立つ fact5: そのまわまやLv.43は清し fact6: もしもそのみなみちゃLv.50が珍しいとすればそのみなみちゃLv.50は見境無い fact7: そのまわまやLv.43が清しとすればそのみなみちゃLv.50は珍しい ; $hypothesis$ = このまちゃまゆLv.42は清いか見境無いということはない ; $proof$ = 
fact7 & fact5 -> int1: そのみなみちゃLv.50は珍しい; int1 & fact6 -> int2: そのみなみちゃLv.50は見境無い; int2 & fact3 -> hypothesis; __DISPROVED__
fact7 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__