Dave is big. Dave is red. Dave is young. Kind things are young. If Dave is white then Dave is big. If something is green then it is white. If something is kind and blue then it is white. If something is young then it is red. If something is white and young then it is red. If Dave is kind then Dave is green. If something is red then it is green.
Dave is not blue.
@0: Dave is big.[(triple1 OR ((((((triple2) -> rule8)) -> rule3)) -> rule2) OR ((((((((triple3) -> rule5)) -> rule8)) -> rule3)) -> rule2))] Dave is red.[(triple2 OR ((triple3) -> rule5))] Dave is young.[(triple3)] @1: Dave is green.[(((triple2) -> rule8) OR ((((triple3) -> rule5)) -> rule8))] @2: Dave is white.[(((((triple2) -> rule8)) -> rule3) OR ((((((triple3) -> rule5)) -> rule8)) -> rule3))]