Erin is blue. Erin is cold. Erin is furry. Erin is nice. Erin is not round. Erin is white. Harry is white. All blue things are nice. If something is blue and cold then it is not kind. Kind things are white. If Erin is not cold then Erin is nice. If Harry is blue and Harry is nice then Harry is not kind. White things are blue. If something is blue and not kind then it is not round. All cold things are not round.
Harry is not blue.
@0: Erin is blue.[(triple1 OR ((triple6) -> rule6))] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is nice.[(triple4 OR ((triple1) -> rule1) OR ((((triple6) -> rule6)) -> rule1))] Erin is not round.[(triple5 OR ((triple2) -> rule8) OR ((triple1 ((triple1 triple2) -> rule2)) -> rule7) OR ((((triple6) -> rule6) ((triple1 triple2) -> rule2)) -> rule7) OR ((triple1 ((((triple6) -> rule6) triple2) -> rule2)) -> rule7) OR ((((triple6) -> rule6) ((((triple6) -> rule6) triple2) -> rule2)) -> rule7))] Erin is white.[(triple6)] Harry is white.[(triple7)] @1: Erin is not kind.[(((triple1 triple2) -> rule2) OR ((((triple6) -> rule6) triple2) -> rule2))] Harry is blue.[(((triple7) -> rule6))] @2: Harry is nice.[(((((triple7) -> rule6)) -> rule1))] @3: Harry is not kind.[(((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule5))] @4: Harry is not round.[(((((triple7) -> rule6) ((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule5)) -> rule7))]