Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is rough. Dave is young. If something is rough then it is kind. All young, blue things are kind. If something is young then it is kind. If something is red and not rough then it is kind. If something is blue then it is red. If something is green and not rough then it is not cold. Rough things are blue. If something is green then it is blue.
Dave is not kind.
@0: Dave is blue.[(triple1 OR ((triple3) -> rule8) OR ((triple6) -> rule7))] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple6) -> rule1) OR ((triple7) -> rule3) OR ((triple7 triple1) -> rule2) OR ((triple7 ((triple3) -> rule8)) -> rule2) OR ((triple7 ((triple6) -> rule7)) -> rule2))] Dave is red.[(triple5 OR ((triple1) -> rule5) OR ((((triple3) -> rule8)) -> rule5) OR ((((triple6) -> rule7)) -> rule5))] Dave is rough.[(triple6)] Dave is young.[(triple7)]