Bob is blue. Bob is green. Bob is not quiet. Bob is not smart. Charlie is not big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is rough. Gary is quiet. Gary is rough. Gary is smart. Smart people are rough. If someone is rough and not green then they are smart. If someone is rough and furry then they are smart.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is not quiet.[(triple3)] Bob is not smart.[(triple4)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is green.[(triple8)] Charlie is not big.[(triple5)] Charlie is rough.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11 OR ((triple12) -> rule1))] Gary is smart.[(triple12)] @1: Charlie is smart.[(((triple9 triple7) -> rule3))]