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