Charlie is cold. Charlie is green. Charlie is rough. Charlie is round. Charlie is young. Erin is green. Erin is red. Erin is rough. Erin is young. Gary is cold. Gary is green. Gary is red. Gary is rough. Gary is smart. Gary is young. If someone is green and round then they are rough. If someone is rough and cold then they are round. If Gary is rough then Gary is green.
Erin is not round.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is rough.[(triple3 OR ((triple2 triple4) -> rule1))] Charlie is round.[(triple4 OR ((triple3 triple1) -> rule2))] Charlie is young.[(triple5)] Erin is green.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is young.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11 OR ((triple13) -> rule3))] Gary is red.[(triple12)] Gary is rough.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)] @1: Gary is round.[(((triple13 triple10) -> rule2))]