Harry is big. Harry is blue. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is white. All round things are rough. All round things are blue.
Harry is not big.
@0: Harry is big.[(triple1)] Harry is blue.[(triple2 OR ((triple5) -> rule2))] Harry is quiet.[(triple3)] Harry is rough.[(triple4 OR ((triple5) -> rule1))] Harry is round.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)]