Anne is green. Anne is rough. Anne is not round. All rough things are red. All nice things are red. If Anne is red then Anne is not round. Blue, green things are not furry. If something is furry then it is blue. If something is round then it is not blue. If Anne is round and Anne is not red then Anne is green. All round, furry things are green.
Anne is not green.
@0: Anne is green.[(triple1)] Anne is not round.[(triple3 OR ((((triple2) -> rule1)) -> rule3))] Anne is rough.[(triple2)] @1: Anne is red.[(((triple2) -> rule1))]