Dave is nice. All blue things are big. If Dave is nice and Dave is rough then Dave is blue. All nice things are rough. If Dave is cold and Dave is nice then Dave is red. Blue things are kind. All kind, rough things are big. If Dave is red and Dave is cold then Dave is nice. Rough, big things are red.
Dave is not blue.
@0: Dave is nice.[(triple1)] @1: Dave is rough.[(((triple1) -> rule3))] @2: Dave is blue.[(((triple1 ((triple1) -> rule3)) -> rule2))] @3: Dave is big.[(((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule1) OR ((((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule5) ((triple1) -> rule3)) -> rule6))] Dave is kind.[(((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule5))] @4: Dave is red.[(((((triple1) -> rule3) ((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule1)) -> rule8) OR ((((triple1) -> rule3) ((((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule5) ((triple1) -> rule3)) -> rule6)) -> rule8))]