このまわまゆLv.81は存置するということはない
fact1: もし「このぽねぽなLv.22は陥り易い」ということは真実であるとしたらこのもちゃもちゅLv.39は俗っぽい fact2: このぽねぽなLv.22は俗っぽいしかつ陥り易い fact3: もし「このぽねぽなLv.22は俗っぽい」ということは本当だとするとこのまわまゆLv.81は存置する
fact2 -> int1: このぽねぽなLv.22は俗っぽい; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
このもちゃもちゅLv.39は俗っぽい
$facts$ = fact1: もし「このぽねぽなLv.22は陥り易い」ということは真実であるとしたらこのもちゃもちゅLv.39は俗っぽい fact2: このぽねぽなLv.22は俗っぽいしかつ陥り易い fact3: もし「このぽねぽなLv.22は俗っぽい」ということは本当だとするとこのまわまゆLv.81は存置する ; $hypothesis$ = このまわまゆLv.81は存置するということはない ; $proof$ = 
fact2 -> int1: このぽねぽなLv.22は俗っぽい; int1 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact3 -> hypothesis; __DISPROVED__