Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is young. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is young. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Harry is nice. If someone is young then they are rough.
Bob is not smart.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3 OR ((triple5) -> rule1))] Bob is smart.[(triple4)] Bob is young.[(triple5)] Charlie is green.[(triple6)] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8)] Charlie is young.[(triple9)] Gary is green.[(triple10)] Gary is nice.[(triple11)] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14)] Gary is smart.[(triple15)] Harry is nice.[(triple16)] @1: Charlie is rough.[(((triple9) -> rule1))]