Anne is cold. Anne is kind. Anne is rough. Anne is white. Fiona is green. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is not white. Harry is kind. Harry is not nice. Harry is rough. All cold, furry things are white. If something is green and furry then it is white. If something is kind and not nice then it is cold. If something is cold then it is furry. If something is cold then it is kind. If something is cold and green then it is not kind. If Anne is kind and Anne is furry then Anne is white. All nice, white things are green.
Harry is green.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule5))] Anne is rough.[(triple3)] Anne is white.[(triple4 OR ((triple1 ((triple1) -> rule4)) -> rule1) OR ((triple2 ((triple1) -> rule4)) -> rule7) OR ((((triple1) -> rule5) ((triple1) -> rule4)) -> rule7))] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is not white.[(triple9)] Fiona is rough.[(triple8)] Harry is kind.[(triple10)] Harry is not nice.[(triple11)] Harry is rough.[(triple12)] @1: Anne is furry.[(((triple1) -> rule4))] Harry is cold.[(((triple10 triple11) -> rule3))] @2: Harry is furry.[(((((triple10 triple11) -> rule3)) -> rule4))] @3: Harry is white.[(((((triple10 triple11) -> rule3) ((((triple10 triple11) -> rule3)) -> rule4)) -> rule1))]