Erin is cold. Erin is furry. Erin is green. Erin is not kind. Erin is rough. Erin is smart. Erin is white. Harry is cold. Harry is furry. Harry is not green. Harry is kind. Harry is rough. Harry is smart. Harry is not white. If someone is kind and not white then they are cold. If Harry is cold then Harry is smart. If Harry is not cold then Harry is smart. If someone is white and not furry then they are green. Smart, kind people are not green. If someone is furry and not smart then they are not rough.
Erin is white.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is not kind.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Harry is cold.[(triple8 OR ((triple11 triple14) -> rule1))] Harry is furry.[(triple9)] Harry is kind.[(triple11)] Harry is not green.[(triple10 OR ((triple13 triple11) -> rule5) OR ((((triple8) -> rule2) triple11) -> rule5) OR ((((((triple11 triple14) -> rule1)) -> rule2) triple11) -> rule5))] Harry is not white.[(triple14)] Harry is rough.[(triple12)] Harry is smart.[(triple13 OR ((triple8) -> rule2) OR ((((triple11 triple14) -> rule1)) -> rule2))]