Harry is blue. Harry is cold. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. Harry is young. If someone is smart then they are quiet. Nice people are quiet. If someone is smart and blue then they are cold. If Harry is cold then Harry is quiet. If Harry is smart then Harry is young. If someone is quiet then they are young.
Harry is not nice.
@0: Harry is blue.[(triple1)] Harry is cold.[(triple2 OR ((triple6 triple1) -> rule3))] Harry is nice.[(triple3)] Harry is quiet.[(triple4 OR ((triple2) -> rule4) OR ((triple3) -> rule2) OR ((triple6) -> rule1) OR ((((triple6 triple1) -> rule3)) -> rule4))] Harry is rough.[(triple5)] Harry is smart.[(triple6)] Harry is young.[(triple7 OR ((triple4) -> rule6) OR ((triple6) -> rule5) OR ((((triple2) -> rule4)) -> rule6) OR ((((triple3) -> rule2)) -> rule6) OR ((((triple6) -> rule1)) -> rule6) OR ((((((triple6 triple1) -> rule3)) -> rule4)) -> rule6))]