Erin is big. Erin is cold. Erin is green. Erin is nice. Gary is furry. Gary is green. Gary is nice. Gary is white. Harry is big. Harry is furry. Harry is green. Harry is white. Kind, green people are furry. All nice, green people are furry. If someone is big and nice then they are kind. If Erin is cold and Erin is nice then Erin is white. If someone is furry and cold then they are big. All nice, white people are green. If someone is white and kind then they are furry. If someone is white then they are cold.
Gary is big.
@0: Erin is big.[(triple1 OR ((((triple4 triple3) -> rule2) triple2) -> rule5) OR ((((triple4 ((triple4 ((triple2 triple4) -> rule4)) -> rule6)) -> rule2) triple2) -> rule5))] Erin is cold.[(triple2)] Erin is green.[(triple3 OR ((triple4 ((triple2 triple4) -> rule4)) -> rule6))] Erin is nice.[(triple4)] Gary is furry.[(triple5 OR ((triple7 triple6) -> rule2) OR ((triple7 ((triple7 triple8) -> rule6)) -> rule2))] Gary is green.[(triple6 OR ((triple7 triple8) -> rule6))] Gary is nice.[(triple7)] Gary is white.[(triple8)] Harry is big.[(triple9 OR ((triple10 ((triple12) -> rule8)) -> rule5))] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is white.[(triple12)] @1: Erin is furry.[(((triple4 triple3) -> rule2) OR ((((triple1 triple4) -> rule3) triple3) -> rule1) OR ((((triple2 triple4) -> rule4) ((triple1 triple4) -> rule3)) -> rule7) OR ((triple4 ((triple4 ((triple2 triple4) -> rule4)) -> rule6)) -> rule2) OR ((((triple1 triple4) -> rule3) ((triple4 ((triple2 triple4) -> rule4)) -> rule6)) -> rule1))] Erin is kind.[(((triple1 triple4) -> rule3) OR ((((((triple4 triple3) -> rule2) triple2) -> rule5) triple4) -> rule3) OR ((((((triple4 ((triple4 ((triple2 triple4) -> rule4)) -> rule6)) -> rule2) triple2) -> rule5) triple4) -> rule3))] Erin is white.[(((triple2 triple4) -> rule4))] Gary is cold.[(((triple8) -> rule8))] Harry is cold.[(((triple12) -> rule8))] @2: Gary is big.[(((triple5 ((triple8) -> rule8)) -> rule5) OR ((((triple7 triple6) -> rule2) ((triple8) -> rule8)) -> rule5) OR ((((triple7 ((triple7 triple8) -> rule6)) -> rule2) ((triple8) -> rule8)) -> rule5))] @3: Gary is kind.[(((((triple5 ((triple8) -> rule8)) -> rule5) triple7) -> rule3) OR ((((((triple7 triple6) -> rule2) ((triple8) -> rule8)) -> rule5) triple7) -> rule3) OR ((((((triple7 ((triple7 triple8) -> rule6)) -> rule2) ((triple8) -> rule8)) -> rule5) triple7) -> rule3))]