Erin is cold. Fiona is red. Fiona is white. Gary is big. Gary is kind. Gary is red. Harry is big. Harry is cold. Harry is furry. Harry is young. All furry, red things are cold. White, kind things are young. All furry, kind things are cold. Furry, cold things are red. If something is red and big then it is white. If something is cold and furry then it is young. Kind things are cold. If something is white then it is furry.
Harry is red.
@0: Erin is cold.[(triple1)] Fiona is red.[(triple2)] Fiona is white.[(triple3)] Gary is big.[(triple4)] Gary is kind.[(triple5)] Gary is red.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is furry.[(triple9)] Harry is young.[(triple10 OR ((triple8 triple9) -> rule6))] @1: Fiona is furry.[(((triple3) -> rule8))] Gary is cold.[(((triple5) -> rule7) OR ((((((triple6 triple4) -> rule5)) -> rule8) triple5) -> rule3) OR ((((((triple6 triple4) -> rule5)) -> rule8) triple6) -> rule1))] Gary is white.[(((triple6 triple4) -> rule5))] Harry is red.[(((triple9 triple8) -> rule4))] @2: Fiona is cold.[(((((triple3) -> rule8) triple2) -> rule1))] Gary is furry.[(((((triple6 triple4) -> rule5)) -> rule8))] Gary is young.[(((((triple6 triple4) -> rule5) triple5) -> rule2) OR ((((triple5) -> rule7) ((((triple6 triple4) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple6 triple4) -> rule5)) -> rule8) triple5) -> rule3) ((((triple6 triple4) -> rule5)) -> rule8)) -> rule6) OR ((((((((triple6 triple4) -> rule5)) -> rule8) triple6) -> rule1) ((((triple6 triple4) -> rule5)) -> rule8)) -> rule6))] Harry is white.[(((((triple9 triple8) -> rule4) triple7) -> rule5))] @3: Fiona is young.[(((((((triple3) -> rule8) triple2) -> rule1) ((triple3) -> rule8)) -> rule6))]