Charlie is rough. Charlie is young. Erin is furry. Erin is rough. Erin is young. Gary is big. Gary is cold. Gary is not furry. Gary is green. Gary is rough. All big things are rough. All big things are rough. If something is green and furry then it is not rough. Big things are not young. If something is young and green then it is furry. If something is furry and not big then it is not round. If Charlie is big then Charlie is rough. If something is furry and not rough then it is cold.
Gary is green.
@0: Charlie is rough.[(triple1)] Charlie is young.[(triple2)] Erin is furry.[(triple3)] Erin is rough.[(triple4)] Erin is young.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple9)] Gary is not furry.[(triple8)] Gary is rough.[(triple10 OR ((triple6) -> rule1) OR ((triple6) -> rule2))] @1: Gary is not young.[(((triple6) -> rule4))]