Dave is furry. Dave is nice. Dave is rough. Dave is smart. Dave is young. Gary is cold. Gary is quiet. Gary is smart. Gary is young. Harry is cold. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. Harry is smart. Harry is young. If someone is nice then they are quiet.
Gary is smart.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Gary is cold.[(triple6)] Gary is quiet.[(triple7)] Gary is smart.[(triple8)] Gary is young.[(triple9)] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is quiet.[(triple13 OR ((triple12) -> rule1))] Harry is rough.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Dave is quiet.[(((triple2) -> rule1))]