Anne is furry. Anne is green. Anne is red. Anne is round. Dave is furry. Fiona is smart. Harry is round. If someone is red then they are smart. Green people are red. All round people are green.
Harry is not green.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2 OR ((triple4) -> rule3))] Anne is red.[(triple3 OR ((triple2) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] Anne is round.[(triple4)] Dave is furry.[(triple5)] Fiona is smart.[(triple6)] Harry is round.[(triple7)] @1: Anne is smart.[(((triple3) -> rule1) OR ((((triple2) -> rule2)) -> rule1) OR ((((((triple4) -> rule3)) -> rule2)) -> rule1))] Harry is green.[(((triple7) -> rule3))] @2: Harry is red.[(((((triple7) -> rule3)) -> rule2))] @3: Harry is smart.[(((((((triple7) -> rule3)) -> rule2)) -> rule1))]