Bob is nice. Bob is red. Dave is young. If something is white and not red then it is green. All young things are green. If Dave is kind then Dave is green. If Bob is green and Bob is blue then Bob is not kind. If Bob is not nice and Bob is not red then Bob is white. If Bob is kind and Bob is young then Bob is white. All kind, red things are young. If something is red then it is kind.
Dave is blue.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Dave is young.[(triple3)] @1: Bob is kind.[(((triple2) -> rule8))] Dave is green.[(((triple3) -> rule2))] @2: Bob is young.[(((((triple2) -> rule8) triple2) -> rule7))] @3: Bob is green.[(((((((triple2) -> rule8) triple2) -> rule7)) -> rule2))] Bob is white.[(((((triple2) -> rule8) ((((triple2) -> rule8) triple2) -> rule7)) -> rule6))]