その被扶養者は暑くない
fact1: もし仮にこの見立が暑いとしたらその被扶養者は耳打ちする fact2: もし「何らかのものは朱欒だということはない一方で耳打ちする」ということは事実と異なればそれは耳打ちしない fact3: その被扶養者は耳打ちするし暑い fact4: その被扶養者は耳打ちする
fact3 -> hypothesis;
fact3 -> hypothesis;
その被扶養者は暑くない
fact5 -> int1: もしも「この見立は朱欒だということはないけれど耳打ちする」ということは成り立たないとすると「それは耳打ちするということはない」ということは成り立つ;
$facts$ = fact1: もし仮にこの見立が暑いとしたらその被扶養者は耳打ちする fact2: もし「何らかのものは朱欒だということはない一方で耳打ちする」ということは事実と異なればそれは耳打ちしない fact3: その被扶養者は耳打ちするし暑い fact4: その被扶養者は耳打ちする ; $hypothesis$ = その被扶養者は暑くない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの見立が暑いとしたらその被扶養者は耳打ちする
事実2: もし「何らかのものは朱欒だということはない一方で耳打ちする」ということは事実と異なればそれは耳打ちしない
事実3: その被扶養者は耳打ちするし暑い
事実4: その被扶養者は耳打ちする

仮説: その被扶養者は暑くない
1. 事実3から、仮説が否定される

よって、仮説が否定されました。