Dave is green. Dave is kind. Dave is nice. If someone is big then they are not kind. Green people are young. If someone is cold and nice then they are green. If someone is green and cold then they are nice. Kind people are nice. If Dave is not furry then Dave is nice.
Dave is not cold.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3 OR ((triple2) -> rule5))] @1: Dave is young.[(((triple1) -> rule2))]