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