Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is rough. Dave is smart. Furry, kind people are green. Green people are rough.
Dave is smart.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4 OR ((triple3 triple5) -> rule1))] Dave is kind.[(triple5)] Dave is rough.[(triple6 OR ((triple4) -> rule2) OR ((((triple3 triple5) -> rule1)) -> rule2))] Dave is smart.[(triple7)]