Gary is blue. Gary is green. Gary is kind. Gary is quiet. Gary is round. Gary is smart. Gary is white. Harry is blue. Harry is green. Harry is kind. Harry is quiet. Harry is round. Harry is smart. Harry is white. If something is kind then it is round.
Gary is not round.
@0: Gary is blue.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is quiet.[(triple4)] Gary is round.[(triple5 OR ((triple3) -> rule1))] Gary is smart.[(triple6)] Gary is white.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is round.[(triple12 OR ((triple10) -> rule1))] Harry is smart.[(triple13)] Harry is white.[(triple14)]