Anne is furry. Anne is rough. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is rough. Erin is white. Erin is young. Fiona is green. Fiona is kind. Gary is young. Young things are furry. All furry, young things are kind. Furry, young things are green. If something is young and white then it is cold. If something is kind and furry then it is white. If something is green and cold then it is rough.
Anne is cold.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Erin is cold.[(triple3 OR ((triple9 triple8) -> rule4) OR ((triple9 ((triple6 triple4) -> rule5)) -> rule4) OR ((triple9 ((triple6 ((triple9) -> rule1)) -> rule5)) -> rule4) OR ((triple9 ((((triple4 triple9) -> rule2) triple4) -> rule5)) -> rule4) OR ((triple9 ((((triple4 triple9) -> rule2) ((triple9) -> rule1)) -> rule5)) -> rule4) OR ((triple9 ((((((triple9) -> rule1) triple9) -> rule2) triple4) -> rule5)) -> rule4) OR ((triple9 ((((((triple9) -> rule1) triple9) -> rule2) ((triple9) -> rule1)) -> rule5)) -> rule4))] Erin is furry.[(triple4 OR ((triple9) -> rule1))] Erin is green.[(triple5 OR ((triple4 triple9) -> rule3) OR ((((triple9) -> rule1) triple9) -> rule3))] Erin is kind.[(triple6 OR ((triple4 triple9) -> rule2) OR ((((triple9) -> rule1) triple9) -> rule2))] Erin is rough.[(triple7 OR ((triple5 triple3) -> rule6) OR ((triple5 ((triple9 triple8) -> rule4)) -> rule6) OR ((((triple4 triple9) -> rule3) triple3) -> rule6) OR ((((triple4 triple9) -> rule3) ((triple9 triple8) -> rule4)) -> rule6) OR ((triple5 ((triple9 ((triple6 triple4) -> rule5)) -> rule4)) -> rule6) OR ((((((triple9) -> rule1) triple9) -> rule3) triple3) -> rule6) OR ((((triple4 triple9) -> rule3) ((triple9 ((triple6 triple4) -> rule5)) -> rule4)) -> rule6) OR ((((((triple9) -> rule1) triple9) -> rule3) ((triple9 triple8) -> rule4)) -> rule6) OR ((((((triple9) -> rule1) triple9) -> rule3) ((triple9 ((triple6 triple4) -> rule5)) -> rule4)) -> rule6) OR ((triple5 ((triple9 ((triple6 ((triple9) -> rule1)) -> rule5)) -> rule4)) -> rule6) OR ((triple5 ((triple9 ((((triple4 triple9) -> rule2) triple4) -> rule5)) -> rule4)) -> rule6) OR ((triple5 ((triple9 ((((triple4 triple9) -> rule2) ((triple9) -> rule1)) -> rule5)) -> rule4)) -> rule6) OR ((((triple4 triple9) -> rule3) ((triple9 ((triple6 ((triple9) -> rule1)) -> rule5)) -> rule4)) -> rule6) OR ((((triple4 triple9) -> rule3) ((triple9 ((((triple4 triple9) -> rule2) triple4) -> rule5)) -> rule4)) -> rule6) OR ((((triple4 triple9) -> rule3) ((triple9 ((((triple4 triple9) -> rule2) ((triple9) -> rule1)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple9) -> rule1) triple9) -> rule3) ((triple9 ((triple6 ((triple9) -> rule1)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple9) -> rule1) triple9) -> rule3) ((triple9 ((((triple4 triple9) -> rule2) triple4) -> rule5)) -> rule4)) -> rule6) OR ((((((triple9) -> rule1) triple9) -> rule3) ((triple9 ((((triple4 triple9) -> rule2) ((triple9) -> rule1)) -> rule5)) -> rule4)) -> rule6) OR ((triple5 ((triple9 ((((((triple9) -> rule1) triple9) -> rule2) triple4) -> rule5)) -> rule4)) -> rule6) OR ((triple5 ((triple9 ((((((triple9) -> rule1) triple9) -> rule2) ((triple9) -> rule1)) -> rule5)) -> rule4)) -> rule6) OR ((((triple4 triple9) -> rule3) ((triple9 ((((((triple9) -> rule1) triple9) -> rule2) triple4) -> rule5)) -> rule4)) -> rule6) OR ((((triple4 triple9) -> rule3) ((triple9 ((((((triple9) -> rule1) triple9) -> rule2) ((triple9) -> rule1)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple9) -> rule1) triple9) -> rule3) ((triple9 ((((((triple9) -> rule1) triple9) -> rule2) triple4) -> rule5)) -> rule4)) -> rule6) OR ((((((triple9) -> rule1) triple9) -> rule3) ((triple9 ((((((triple9) -> rule1) triple9) -> rule2) ((triple9) -> rule1)) -> rule5)) -> rule4)) -> rule6))] Erin is white.[(triple8 OR ((triple6 triple4) -> rule5) OR ((triple6 ((triple9) -> rule1)) -> rule5) OR ((((triple4 triple9) -> rule2) triple4) -> rule5) OR ((((triple4 triple9) -> rule2) ((triple9) -> rule1)) -> rule5) OR ((((((triple9) -> rule1) triple9) -> rule2) triple4) -> rule5) OR ((((((triple9) -> rule1) triple9) -> rule2) ((triple9) -> rule1)) -> rule5))] Erin is young.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Gary is young.[(triple12)] @1: Gary is furry.[(((triple12) -> rule1))] @2: Gary is green.[(((((triple12) -> rule1) triple12) -> rule3))] Gary is kind.[(((((triple12) -> rule1) triple12) -> rule2))] @3: Gary is white.[(((((((triple12) -> rule1) triple12) -> rule2) ((triple12) -> rule1)) -> rule5))] @4: Gary is cold.[(((triple12 ((((((triple12) -> rule1) triple12) -> rule2) ((triple12) -> rule1)) -> rule5)) -> rule4))] @5: Gary is rough.[(((((((triple12) -> rule1) triple12) -> rule3) ((triple12 ((((((triple12) -> rule1) triple12) -> rule2) ((triple12) -> rule1)) -> rule5)) -> rule4)) -> rule6))]