Anne is round. Bob is smart. If someone is quiet then they are green. All smart people are red. If Anne is blue then Anne is young. Green, round people are quiet. Red people are quiet. Smart people are red.
Bob is red.
@0: Anne is round.[(triple1)] Bob is smart.[(triple2)] @1: Bob is red.[(((triple2) -> rule2) OR ((triple2) -> rule6))] @2: Bob is quiet.[(((((triple2) -> rule2)) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] @3: Bob is green.[(((((((triple2) -> rule2)) -> rule5)) -> rule1) OR ((((((triple2) -> rule6)) -> rule5)) -> rule1))]