Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is smart. Nice things are smart. If something is big then it is red. Smart, red things are cold.
Dave is not kind.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple7 triple6) -> rule3) OR ((triple7 ((triple1) -> rule2)) -> rule3) OR ((((triple5) -> rule1) triple6) -> rule3) OR ((((triple5) -> rule1) ((triple1) -> rule2)) -> rule3))] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is red.[(triple6 OR ((triple1) -> rule2))] Dave is smart.[(triple7 OR ((triple5) -> rule1))]