Dave is big. Dave is blue. Dave is green. Dave is not red. Dave is rough. Dave is round. Dave is young. If Dave is green then Dave is not red. If Dave is not young and Dave is not rough then Dave is not blue. If Dave is rough and Dave is red then Dave is blue. If Dave is rough then Dave is blue. All round things are big. If Dave is green then Dave is round. If something is red and big then it is not blue. If something is round and not red then it is blue.
Dave is red.
@0: Dave is big.[(triple1 OR ((triple6) -> rule5) OR ((((triple3) -> rule6)) -> rule5))] Dave is blue.[(triple2 OR ((triple5) -> rule4) OR ((triple6 triple4) -> rule8) OR ((triple6 ((triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule6) triple4) -> rule8) OR ((((triple3) -> rule6) ((triple3) -> rule1)) -> rule8))] Dave is green.[(triple3)] Dave is not red.[(triple4 OR ((triple3) -> rule1))] Dave is rough.[(triple5)] Dave is round.[(triple6 OR ((triple3) -> rule6))] Dave is young.[(triple7)]