Dave is kind. Dave is nice. Dave is red. Dave is not white. Gary is not big. Gary is nice. Gary is not smart. Gary is not white. Harry is big. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is smart. Harry is white. Nice things are rough.
Dave is smart.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Dave is not white.[(triple4)] Dave is red.[(triple3)] Gary is nice.[(triple6)] Gary is not big.[(triple5)] Gary is not smart.[(triple7)] Gary is not white.[(triple8)] Harry is big.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((triple11) -> rule1))] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Dave is rough.[(((triple2) -> rule1))] Gary is rough.[(((triple6) -> rule1))]