「そのぽくぽちょLv.34は嘘っぽいししかも手厳しい」ということは成り立たない
fact1: そのぽくぽちょLv.34は手厳しい fact2: もしも「そのぽくぽちょLv.34は低し」ということは本当であるとしたらそれは嘘っぽい fact3: そのぽくぽちょLv.34は低しし伝え難い
fact3 -> int1: そのぽくぽちょLv.34は低し; int1 & fact2 -> int2: そのぽくぽちょLv.34は嘘っぽい; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: そのぽくぽちょLv.34は手厳しい fact2: もしも「そのぽくぽちょLv.34は低し」ということは本当であるとしたらそれは嘘っぽい fact3: そのぽくぽちょLv.34は低しし伝え難い ; $hypothesis$ = 「そのぽくぽちょLv.34は嘘っぽいししかも手厳しい」ということは成り立たない ; $proof$ = 
fact3 -> int1: そのぽくぽちょLv.34は低し; int1 & fact2 -> int2: そのぽくぽちょLv.34は嘘っぽい; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __DISPROVED__