Dave is big. Dave is green. Dave is kind. Dave is red. Dave is smart. Dave is white. Dave is young. Harry is big. Harry is green. Harry is kind. Harry is red. Harry is smart. Harry is white. Harry is young. If someone is kind and big then they are green.
Harry is not big.
@0: Dave is big.[(triple1)] Dave is green.[(triple2 OR ((triple3 triple1) -> rule1))] Dave is kind.[(triple3)] Dave is red.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Harry is big.[(triple8)] Harry is green.[(triple9 OR ((triple10 triple8) -> rule1))] Harry is kind.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14)]