Charlie is cold. Erin is big. Erin is rough. Gary is big. Gary is not cold. Gary is rough. Harry is big. Harry is cold. Harry is not furry. Harry is red. If someone is rough and not green then they are furry. If someone is big and not red then they are furry. If Gary is rough and Gary is green then Gary is not big. If Charlie is green and Charlie is cold then Charlie is big. If someone is rough and not cold then they are young. If someone is big and not cold then they are young.
Gary is big.
@0: Charlie is cold.[(triple1)] Erin is big.[(triple2)] Erin is rough.[(triple3)] Gary is big.[(triple4)] Gary is not cold.[(triple5)] Gary is rough.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is not furry.[(triple9)] Harry is red.[(triple10)] @1: Gary is young.[(((triple4 triple5) -> rule6) OR ((triple6 triple5) -> rule5))]