Dave is cold. Dave is rough. Dave is smart. If Dave is furry then Dave is smart. All rough, cold things are furry. If Dave is young then Dave is big.
Dave is not big.
@0: Dave is cold.[(triple1)] Dave is rough.[(triple2)] Dave is smart.[(triple3 OR ((((triple2 triple1) -> rule2)) -> rule1))] @1: Dave is furry.[(((triple2 triple1) -> rule2))]