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