Anne is not furry. Anne is not nice. Anne is rough. Anne is young. Charlie is big. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Charlie is not young. Fiona is big. Fiona is cold. Fiona is nice. Harry is furry. Harry is green. If something is big and rough then it is furry. Rough, furry things are green. If something is young then it is cold.
Anne is not green.
@0: Anne is not furry.[(triple1)] Anne is not nice.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple7 OR ((triple5 triple10) -> rule1))] Charlie is green.[(triple8 OR ((triple10 triple7) -> rule2) OR ((triple10 ((triple5 triple10) -> rule1)) -> rule2))] Charlie is nice.[(triple9)] Charlie is not cold.[(triple6)] Charlie is not young.[(triple11)] Charlie is rough.[(triple10)] Fiona is big.[(triple12)] Fiona is cold.[(triple13)] Fiona is nice.[(triple14)] Harry is furry.[(triple15)] Harry is green.[(triple16)] @1: Anne is cold.[(((triple4) -> rule3))]