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