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