この試薬は読み易くない
fact1: この排水中は出現するかもしくは打ち壊すかもしくはどちらもだ fact2: もし仮にこの排水中が出現するとすればこの試薬は読み易い fact3: もし仮にこの排水中が打ち壊すとしたらこの試薬は読み易い
$facts$ = fact1: この排水中は出現するかもしくは打ち壊すかもしくはどちらもだ fact2: もし仮にこの排水中が出現するとすればこの試薬は読み易い fact3: もし仮にこの排水中が打ち壊すとしたらこの試薬は読み易い ; $hypothesis$ = この試薬は読み易くない ; $proof$ = 
事実1: この排水中は出現するかもしくは打ち壊すかもしくはどちらもだ
事実2: もし仮にこの排水中が出現するとすればこの試薬は読み易い
事実3: もし仮にこの排水中が打ち壊すとしたらこの試薬は読み易い

仮説: この試薬は読み易くない