「そのもちゃもいLv.95は広がり難いししかもそれは高ずる」ということは成り立たない
fact1: そのもちゃもいLv.95は気怠い fact2: そのみにゅみちょLv.53は広がり難い fact3: もしもそのもちゃもいLv.95が握り易いとすればそれは広がり難い fact4: そのもちゃもいLv.95は高ずる fact5: あらゆるモンスターは握り易い fact6: すべてのモンスターは末恐ろしい
fact5 -> int1: そのもちゃもいLv.95は握り易い; int1 & fact3 -> int2: そのもちゃもいLv.95は広がり難い; int2 & fact4 -> hypothesis;
fact5 -> int1: {A}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact4 -> hypothesis;
$facts$ = fact1: そのもちゃもいLv.95は気怠い fact2: そのみにゅみちょLv.53は広がり難い fact3: もしもそのもちゃもいLv.95が握り易いとすればそれは広がり難い fact4: そのもちゃもいLv.95は高ずる fact5: あらゆるモンスターは握り易い fact6: すべてのモンスターは末恐ろしい ; $hypothesis$ = 「そのもちゃもいLv.95は広がり難いししかもそれは高ずる」ということは成り立たない ; $proof$ = 
fact5 -> int1: そのもちゃもいLv.95は握り易い; int1 & fact3 -> int2: そのもちゃもいLv.95は広がり難い; int2 & fact4 -> hypothesis; __DISPROVED__
fact5 -> int1: {A}{aa}; int1 & fact3 -> int2: {B}{aa}; int2 & fact4 -> hypothesis; __DISPROVED__