Bob is big. Dave is kind. Erin is blue. Red things are blue. All red, kind things are furry. If something is kind then it is furry. If Dave is furry then Dave is big. All furry things are green. If Dave is green then Dave is red. If Dave is white and Dave is kind then Dave is blue. If something is kind then it is blue.
Erin is not blue.
@0: Bob is big.[(triple1)] Dave is kind.[(triple2)] Erin is blue.[(triple3)] @1: Dave is blue.[(((triple2) -> rule8) OR ((((((((triple2) -> rule3)) -> rule5)) -> rule6)) -> rule1))] Dave is furry.[(((triple2) -> rule3))] @2: Dave is big.[(((((triple2) -> rule3)) -> rule4))] Dave is green.[(((((triple2) -> rule3)) -> rule5))] @3: Dave is red.[(((((((triple2) -> rule3)) -> rule5)) -> rule6))]