Anne is blue. Bob is young. All smart things are quiet. If something is young and smart then it is quiet. All blue things are smart. All green things are white. If Bob is green then Bob is white. If Anne is quiet then Anne is not red. If Anne is blue and Anne is white then Anne is young. Green things are red.
Anne is blue.
@0: Anne is blue.[(triple1)] Bob is young.[(triple2)] @1: Anne is smart.[(((triple1) -> rule3))] @2: Anne is quiet.[(((((triple1) -> rule3)) -> rule1))] @3: Anne is not red.[(((((((triple1) -> rule3)) -> rule1)) -> rule6))]