Anne is rough. Anne is smart. Bob is green. Bob is kind. Bob is rough. Bob is smart. Dave is big. Dave is green. Dave is kind. Dave is red. Dave is smart. Harry is kind. Harry is red. Harry is rough. Harry is smart. If Anne is rough then Anne is smart.
Dave is green.
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2 OR ((triple1) -> rule1))] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Dave is big.[(triple7)] Dave is green.[(triple8)] Dave is kind.[(triple9)] Dave is red.[(triple10)] Dave is smart.[(triple11)] Harry is kind.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15)]