Charlie is big. Erin is kind. Gary is blue. Gary is cold. Gary is white. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is red. Harry is not white. If something is red then it is cold. If something is white and not kind then it is cold. Big, white things are cold. If something is blue then it is big. If something is blue and big then it is furry. If something is big and furry then it is red.
Charlie is red.
@0: Charlie is big.[(triple1)] Erin is kind.[(triple2)] Gary is blue.[(triple3)] Gary is cold.[(triple4 OR ((((triple3) -> rule4) triple5) -> rule3) OR ((((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule6)) -> rule1))] Gary is white.[(triple5)] Harry is big.[(triple6 OR ((triple7) -> rule4))] Harry is blue.[(triple7)] Harry is cold.[(triple8 OR ((triple11) -> rule1) OR ((((triple6 triple9) -> rule6)) -> rule1) OR ((((triple6 ((triple7 triple6) -> rule5)) -> rule6)) -> rule1) OR ((((((triple7) -> rule4) triple9) -> rule6)) -> rule1) OR ((((((triple7) -> rule4) ((triple7 triple6) -> rule5)) -> rule6)) -> rule1) OR ((((triple6 ((triple7 ((triple7) -> rule4)) -> rule5)) -> rule6)) -> rule1) OR ((((((triple7) -> rule4) ((triple7 ((triple7) -> rule4)) -> rule5)) -> rule6)) -> rule1))] Harry is furry.[(triple9 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple7) -> rule4)) -> rule5))] Harry is kind.[(triple10)] Harry is not white.[(triple12)] Harry is red.[(triple11 OR ((triple6 triple9) -> rule6) OR ((triple6 ((triple7 triple6) -> rule5)) -> rule6) OR ((((triple7) -> rule4) triple9) -> rule6) OR ((((triple7) -> rule4) ((triple7 triple6) -> rule5)) -> rule6) OR ((triple6 ((triple7 ((triple7) -> rule4)) -> rule5)) -> rule6) OR ((((triple7) -> rule4) ((triple7 ((triple7) -> rule4)) -> rule5)) -> rule6))] @1: Gary is big.[(((triple3) -> rule4))] @2: Gary is furry.[(((triple3 ((triple3) -> rule4)) -> rule5))] @3: Gary is red.[(((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule6))]