Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is smart. Dave is young. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is quiet. Harry is smart. Harry is young. If something is green then it is smart.
Dave is not green.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4)] Dave is quiet.[(triple5)] Dave is smart.[(triple6 OR ((triple4) -> rule1))] Dave is young.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is cold.[(triple10)] Harry is green.[(triple11)] Harry is quiet.[(triple12)] Harry is smart.[(triple13 OR ((triple11) -> rule1))] Harry is young.[(triple14)]