Dave is kind. Dave is round. Dave is smart. Round, kind things are rough. Kind things are rough. All cold things are round. Round, young things are not kind. Rough, young things are smart. Rough things are not green.
Dave is round.
@0: Dave is kind.[(triple1)] Dave is round.[(triple2)] Dave is smart.[(triple3)] @1: Dave is rough.[(((triple1) -> rule2) OR ((triple2 triple1) -> rule1))] @2: Dave is not green.[(((((triple1) -> rule2)) -> rule6) OR ((((triple2 triple1) -> rule1)) -> rule6))]