Erin is big. Erin is blue. Erin is cold. Erin is not furry. Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is round. Harry is not white. If someone is white and big then they are kind. Big, blue people are white. If Harry is not white then Harry is kind. If someone is big and not kind then they are not cold. If someone is furry and not kind then they are cold. White, cold people are not round.
Harry is not white.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is not furry.[(triple4)] Harry is big.[(triple5)] Harry is cold.[(triple6)] Harry is furry.[(triple7)] Harry is kind.[(triple8 OR ((triple10) -> rule3))] Harry is not white.[(triple10)] Harry is round.[(triple9)] @1: Erin is white.[(((triple1 triple2) -> rule2))] @2: Erin is kind.[(((((triple1 triple2) -> rule2) triple1) -> rule1))] Erin is not round.[(((((triple1 triple2) -> rule2) triple3) -> rule6))]