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