このぴにゃぴくLv.85は悪しない
fact1: もしこのぷにょぷちょLv.70が田舎っぽいとするとこのぴにゃぴくLv.85は悪し fact2: このぷにょぷちょLv.70は田舎っぽい fact3: 「このぷにょぷちょLv.70は興味深くないとすると「このぷにょぷちょLv.70は田舎っぽいかもしくは怖くないかまたはどちらもだ」ということは偽である」ということは本当である
fact2 -> int1: このぷにょぷちょLv.70は田舎っぽい; int1 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
このぴにゃぴくLv.85は悪しない
$facts$ = fact1: もしこのぷにょぷちょLv.70が田舎っぽいとするとこのぴにゃぴくLv.85は悪し fact2: このぷにょぷちょLv.70は田舎っぽい fact3: 「このぷにょぷちょLv.70は興味深くないとすると「このぷにょぷちょLv.70は田舎っぽいかもしくは怖くないかまたはどちらもだ」ということは偽である」ということは本当である ; $hypothesis$ = このぴにゃぴくLv.85は悪しない ; $proof$ = 
fact2 -> int1: このぷにょぷちょLv.70は田舎っぽい; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__