Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is rough. Bob is smart. Bob is not white. Charlie is not blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is not white. All green things are smart.
Charlie is not nice.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is not white.[(triple7)] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple3) -> rule1))] Charlie is furry.[(triple9)] Charlie is green.[(triple10)] Charlie is nice.[(triple11)] Charlie is not blue.[(triple8)] Charlie is not white.[(triple14)] Charlie is rough.[(triple12)] Charlie is smart.[(triple13 OR ((triple10) -> rule1))]