Charlie is cold. Charlie is furry. Charlie is not green. Charlie is kind. Charlie is nice. Charlie is round. Charlie is white. Erin is furry. Erin is white. Harry is cold. Harry is furry. Harry is not green. Harry is kind. Harry is nice. Harry is round. Harry is white. If Harry is round and Harry is cold then Harry is white. If Erin is kind then Erin is furry. If something is round then it is furry. All furry things are round. If Harry is not cold then Harry is round. All kind things are not green. If something is white then it is kind. Green things are white.
Erin is not nice.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2 OR ((triple6) -> rule3))] Charlie is kind.[(triple4 OR ((triple7) -> rule7))] Charlie is nice.[(triple5)] Charlie is not green.[(triple3 OR ((triple4) -> rule6) OR ((((triple7) -> rule7)) -> rule6))] Charlie is round.[(triple6 OR ((triple2) -> rule4))] Charlie is white.[(triple7)] Erin is furry.[(triple8 OR ((((triple9) -> rule7)) -> rule2))] Erin is white.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple15) -> rule3))] Harry is kind.[(triple13 OR ((triple16) -> rule7) OR ((((triple15 triple10) -> rule1)) -> rule7) OR ((((((triple11) -> rule4) triple10) -> rule1)) -> rule7))] Harry is nice.[(triple14)] Harry is not green.[(triple12 OR ((triple13) -> rule6) OR ((((triple16) -> rule7)) -> rule6) OR ((((((triple15 triple10) -> rule1)) -> rule7)) -> rule6) OR ((((((((triple11) -> rule4) triple10) -> rule1)) -> rule7)) -> rule6))] Harry is round.[(triple15 OR ((triple11) -> rule4))] Harry is white.[(triple16 OR ((triple15 triple10) -> rule1) OR ((((triple11) -> rule4) triple10) -> rule1))] @1: Erin is kind.[(((triple9) -> rule7))] Erin is round.[(((triple8) -> rule4) OR ((((((triple9) -> rule7)) -> rule2)) -> rule4))] @2: Erin is not green.[(((((triple9) -> rule7)) -> rule6))]