Gary is not green. Gary is not kind. Gary is nice. Gary is round. Gary is smart. Gary is not young. Harry is green. Harry is not kind. Harry is quiet. Harry is round. Harry is smart. Harry is young. All smart people are not kind. If Gary is young and Gary is not smart then Gary is not nice. Nice, quiet people are not round.
Harry is nice.
@0: Gary is nice.[(triple3)] Gary is not green.[(triple1)] Gary is not kind.[(triple2 OR ((triple5) -> rule1))] Gary is not young.[(triple6)] Gary is round.[(triple4)] Gary is smart.[(triple5)] Harry is green.[(triple7)] Harry is not kind.[(triple8 OR ((triple11) -> rule1))] Harry is quiet.[(triple9)] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12)]