「あのまちゃまのLv.32は味わい深くないかあるいは柔い」ということは成り立たない
fact1: あのぷにゅぷいLv.9はネイティブらしくない fact2: 仮に「あのぷにゅぷいLv.9はネイティブらしくない」ということは嘘でないならばあのぷにゅぷいLv.9は芳しいがしかし味わい深くない fact3: もしもあのぷにゅぷいLv.9がネイティブらしくないならあのぷにゅぷいLv.9は芳しい fact4: 「そのぴえぴちゃLv.98は柔くないかまたはネイティブらしいかもしくは両方だ」ということは成り立たないとしたら味わい深いということはない fact5: もしあのぷにゅぷいLv.9が及ぼし得るとするとあのまちゃまのLv.32はネイティブらしくないけれど取り掛かり易い fact6: あのぷにゅぷいLv.9が味わい深くないならばあのまちゃまのLv.32は味わい深くないかもしくは柔いかあるいは両方ともである
fact2 & fact1 -> int1: あのぷにゅぷいLv.9は芳しい一方でそれは味わい深いということはない; int1 -> int2: あのぷにゅぷいLv.9は味わい深くない; int2 & fact6 -> hypothesis;
fact2 & fact1 -> int1: ({AA}{a} & ¬{AB}{a}); int1 -> int2: ¬{AB}{a}; int2 & fact6 -> hypothesis;
「そのぴえぴちゃLv.98は味わい深くない」ということは本当だ
$facts$ = fact1: あのぷにゅぷいLv.9はネイティブらしくない fact2: 仮に「あのぷにゅぷいLv.9はネイティブらしくない」ということは嘘でないならばあのぷにゅぷいLv.9は芳しいがしかし味わい深くない fact3: もしもあのぷにゅぷいLv.9がネイティブらしくないならあのぷにゅぷいLv.9は芳しい fact4: 「そのぴえぴちゃLv.98は柔くないかまたはネイティブらしいかもしくは両方だ」ということは成り立たないとしたら味わい深いということはない fact5: もしあのぷにゅぷいLv.9が及ぼし得るとするとあのまちゃまのLv.32はネイティブらしくないけれど取り掛かり易い fact6: あのぷにゅぷいLv.9が味わい深くないならばあのまちゃまのLv.32は味わい深くないかもしくは柔いかあるいは両方ともである ; $hypothesis$ = 「あのまちゃまのLv.32は味わい深くないかあるいは柔い」ということは成り立たない ; $proof$ = 
fact2 & fact1 -> int1: あのぷにゅぷいLv.9は芳しい一方でそれは味わい深いということはない; int1 -> int2: あのぷにゅぷいLv.9は味わい深くない; int2 & fact6 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: ({AA}{a} & ¬{AB}{a}); int1 -> int2: ¬{AB}{a}; int2 & fact6 -> hypothesis; __DISPROVED__