「そのもちょもくLv.25は口汚くてかつ親しい」ということは間違いだ
fact1: もしあのまゆまにょLv.66はでっかいとすれば「あのまゆまにょLv.66は目的無しけど素晴らしいということはない」ということは成り立たない fact2: 仮に「あのまゆまにょLv.66は目的無しがしかし素晴らしくない」ということは成り立たないとするとそのもちょもくLv.25は口汚い fact3: もし仮にこのぴちゃぴえLv.28は尤もらしくないとしたら「あのぽちょぽにLv.33は口汚いけどでっかくない」ということは嘘である fact4: 仮に「あのぽちょぽにLv.33は口汚い一方ででっかくない」ということは成り立たないとするとあのまゆまにょLv.66は口汚くない fact5: あのまゆまにょLv.66はでっかい fact6: そのもちょもくLv.25は親しい
fact1 & fact5 -> int1: 「あのまゆまにょLv.66は目的無しが素晴らしくない」ということは嘘である; int1 & fact2 -> int2: そのもちょもくLv.25は口汚い; int2 & fact6 -> hypothesis;
fact1 & fact5 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: {B}{b}; int2 & fact6 -> hypothesis;
「そのもちょもくLv.25は口汚くてかつ親しい」ということは間違いだ
$facts$ = fact1: もしあのまゆまにょLv.66はでっかいとすれば「あのまゆまにょLv.66は目的無しけど素晴らしいということはない」ということは成り立たない fact2: 仮に「あのまゆまにょLv.66は目的無しがしかし素晴らしくない」ということは成り立たないとするとそのもちょもくLv.25は口汚い fact3: もし仮にこのぴちゃぴえLv.28は尤もらしくないとしたら「あのぽちょぽにLv.33は口汚いけどでっかくない」ということは嘘である fact4: 仮に「あのぽちょぽにLv.33は口汚い一方ででっかくない」ということは成り立たないとするとあのまゆまにょLv.66は口汚くない fact5: あのまゆまにょLv.66はでっかい fact6: そのもちょもくLv.25は親しい ; $hypothesis$ = 「そのもちょもくLv.25は口汚くてかつ親しい」ということは間違いだ ; $proof$ = 
fact1 & fact5 -> int1: 「あのまゆまにょLv.66は目的無しが素晴らしくない」ということは嘘である; int1 & fact2 -> int2: そのもちょもくLv.25は口汚い; int2 & fact6 -> hypothesis; __DISPROVED__
fact1 & fact5 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: {B}{b}; int2 & fact6 -> hypothesis; __DISPROVED__