Bob is not blue. Bob is kind. Bob is not nice. Bob is rough. Bob is smart. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. Dave is blue. Dave is rough. Erin is not kind. Erin is not nice. Erin is quiet. Erin is smart. If Bob is blue and Bob is quiet then Bob is kind. If someone is smart and not nice then they are rough.
Dave is nice.
@0: Bob is kind.[(triple2)] Bob is not blue.[(triple1)] Bob is not nice.[(triple3)] Bob is rough.[(triple4 OR ((triple5 triple3) -> rule2))] Bob is smart.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is nice.[(triple8)] Charlie is rough.[(triple9)] Charlie is smart.[(triple10)] Dave is blue.[(triple11)] Dave is rough.[(triple12)] Erin is not kind.[(triple13)] Erin is not nice.[(triple14)] Erin is quiet.[(triple15)] Erin is smart.[(triple16)] @1: Erin is rough.[(((triple16 triple14) -> rule2))]