「そのまゆまなLv.25は信じ易いということはない」ということは事実と異ならない
fact1: このぴねぴちょLv.86は口喧しくて手渡しする fact2: このぴねぴちょLv.86は手渡しする fact3: もしこのぴねぴちょLv.86が口喧しいとすればあのまいまねLv.31は高価過ぎる fact4: 仮に「あのまいまねLv.31は高価過ぎる」ということは事実であるならそのまゆまなLv.25は信じ易い
fact1 -> int1: このぴねぴちょLv.86は口喧しい; int1 & fact3 -> int2: あのまいまねLv.31は高価過ぎる; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
$facts$ = fact1: このぴねぴちょLv.86は口喧しくて手渡しする fact2: このぴねぴちょLv.86は手渡しする fact3: もしこのぴねぴちょLv.86が口喧しいとすればあのまいまねLv.31は高価過ぎる fact4: 仮に「あのまいまねLv.31は高価過ぎる」ということは事実であるならそのまゆまなLv.25は信じ易い ; $hypothesis$ = 「そのまゆまなLv.25は信じ易いということはない」ということは事実と異ならない ; $proof$ = 
fact1 -> int1: このぴねぴちょLv.86は口喧しい; int1 & fact3 -> int2: あのまいまねLv.31は高価過ぎる; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__