Anne is quiet. Bob is white. Dave is blue. Dave is kind. Dave is red. Erin is red. Erin is white. Nice, blue things are white. If Anne is red and Anne is young then Anne is white. Blue things are young. All quiet, nice things are white. Red things are white. If something is young and kind then it is red.
Bob is nice.
@0: Anne is quiet.[(triple1)] Bob is white.[(triple2)] Dave is blue.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5 OR ((((triple3) -> rule3) triple4) -> rule6))] Erin is red.[(triple6)] Erin is white.[(triple7 OR ((triple6) -> rule5))] @1: Dave is white.[(((triple5) -> rule5) OR ((((((triple3) -> rule3) triple4) -> rule6)) -> rule5))] Dave is young.[(((triple3) -> rule3))]