Anne is big. Anne is cold. Anne is furry. Anne is young. Charlie is big. Charlie is cold. Charlie is rough. Erin is furry. Erin is red. Erin is rough. Gary is blue. Gary is cold. Gary is furry. Gary is red. Gary is rough. Gary is young. Rough, young people are blue. If someone is blue and rough then they are big. Cold, big people are young. Cold, blue people are big. If someone is blue and big then they are furry. If Gary is blue and Gary is red then Gary is young.
Erin is blue.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is young.[(triple4 OR ((triple2 triple1) -> rule3))] Charlie is big.[(triple5)] Charlie is cold.[(triple6)] Charlie is rough.[(triple7)] Erin is furry.[(triple8)] Erin is red.[(triple9)] Erin is rough.[(triple10)] Gary is blue.[(triple11 OR ((triple15 triple16) -> rule1))] Gary is cold.[(triple12)] Gary is furry.[(triple13 OR ((triple11 ((triple11 triple15) -> rule2)) -> rule5) OR ((triple11 ((triple12 triple11) -> rule4)) -> rule5) OR ((((triple15 triple16) -> rule1) ((triple11 triple15) -> rule2)) -> rule5) OR ((((triple15 triple16) -> rule1) ((triple12 triple11) -> rule4)) -> rule5) OR ((triple11 ((triple12 ((triple15 triple16) -> rule1)) -> rule4)) -> rule5) OR ((triple11 ((((triple15 triple16) -> rule1) triple15) -> rule2)) -> rule5) OR ((((triple15 triple16) -> rule1) ((triple12 ((triple15 triple16) -> rule1)) -> rule4)) -> rule5) OR ((((triple15 triple16) -> rule1) ((((triple15 triple16) -> rule1) triple15) -> rule2)) -> rule5))] Gary is red.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16 OR ((triple11 triple14) -> rule6) OR ((triple12 ((triple11 triple15) -> rule2)) -> rule3) OR ((triple12 ((triple12 triple11) -> rule4)) -> rule3))] @1: Charlie is young.[(((triple6 triple5) -> rule3))] Gary is big.[(((triple11 triple15) -> rule2) OR ((triple12 triple11) -> rule4) OR ((triple12 ((triple15 triple16) -> rule1)) -> rule4) OR ((((triple15 triple16) -> rule1) triple15) -> rule2))] @2: Charlie is blue.[(((triple7 ((triple6 triple5) -> rule3)) -> rule1))] @3: Charlie is furry.[(((((triple7 ((triple6 triple5) -> rule3)) -> rule1) triple5) -> rule5))]