Erin is cold. Erin is green. Erin is kind. Erin is rough. Erin is round. Erin is young. Gary is green. Gary is kind. Gary is red. Gary is round. Gary is young. Harry is cold. Harry is green. Harry is red. Harry is young. Round things are kind. If something is round then it is green.
Gary is not kind.
@0: Erin is cold.[(triple1)] Erin is green.[(triple2 OR ((triple5) -> rule2))] Erin is kind.[(triple3 OR ((triple5) -> rule1))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is young.[(triple6)] Gary is green.[(triple7 OR ((triple10) -> rule2))] Gary is kind.[(triple8 OR ((triple10) -> rule1))] Gary is red.[(triple9)] Gary is round.[(triple10)] Gary is young.[(triple11)] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)]