「このもちゅもくLv.41は聞き辛くてそれは差し通す」ということは成り立たない
fact1: あのぷいぷよLv.75は座り易い fact2: もしも「あのぷいぷよLv.75は座り易い」ということは真実だとするとあのまのまなLv.90はネイティブらしい fact3: もしあのまのまなLv.90がネイティブらしいとしたらこのもちゅもくLv.41は聞き辛い fact4: このもちゅもくLv.41は差し通す
fact2 & fact1 -> int1: あのまのまなLv.90はネイティブらしい; int1 & fact3 -> int2: このもちゅもくLv.41は聞き辛い; int2 & fact4 -> hypothesis;
fact2 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact4 -> hypothesis;
$facts$ = fact1: あのぷいぷよLv.75は座り易い fact2: もしも「あのぷいぷよLv.75は座り易い」ということは真実だとするとあのまのまなLv.90はネイティブらしい fact3: もしあのまのまなLv.90がネイティブらしいとしたらこのもちゅもくLv.41は聞き辛い fact4: このもちゅもくLv.41は差し通す ; $hypothesis$ = 「このもちゅもくLv.41は聞き辛くてそれは差し通す」ということは成り立たない ; $proof$ = 
fact2 & fact1 -> int1: あのまのまなLv.90はネイティブらしい; int1 & fact3 -> int2: このもちゅもくLv.41は聞き辛い; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; int2 & fact4 -> hypothesis; __DISPROVED__