Charlie is red. Erin is green. Erin is kind. Erin is red. Erin is young. Gary is furry. Gary is green. If someone is furry then they are rough. Round, young people are rough. If Gary is furry and Gary is round then Gary is red. Kind, rough people are not young. If someone is rough then they are round. All furry, round people are green.
Gary is not rough.
@0: Charlie is red.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is red.[(triple4)] Erin is young.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7 OR ((triple6 ((((triple6) -> rule1)) -> rule5)) -> rule6))] @1: Gary is rough.[(((triple6) -> rule1))] @2: Gary is round.[(((((triple6) -> rule1)) -> rule5))] @3: Gary is red.[(((triple6 ((((triple6) -> rule1)) -> rule5)) -> rule3))]