このＱＣサークルは青白くない
fact1: もし仮にその無保険が苛立たしいとしたらこのＱＣサークルは青白い fact2: その無保険は苛立たしい
$facts$ = fact1: もし仮にその無保険が苛立たしいとしたらこのＱＣサークルは青白い fact2: その無保険は苛立たしい ; $hypothesis$ = このＱＣサークルは青白くない ; $proof$ = 
事実1: もし仮にその無保険が苛立たしいとしたらこのＱＣサークルは青白い
事実2: その無保険は苛立たしい

仮説: このＱＣサークルは青白くない