Anne is furry. Anne is smart. Fiona is kind. Fiona is nice. Fiona is rough. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is smart. If something is quiet then it is furry. Quiet things are green. Furry things are green.
Fiona is not rough.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is rough.[(triple5)] Gary is furry.[(triple6 OR ((triple9) -> rule1))] Gary is kind.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is smart.[(triple10)] @1: Anne is green.[(((triple1) -> rule3))] Gary is green.[(((triple6) -> rule3) OR ((triple9) -> rule2) OR ((((triple9) -> rule1)) -> rule3))]