Bob is big. Bob is green. Bob is kind. Bob is rough. Charlie is not rough. Charlie is round. Gary is big. Gary is green. Gary is rough. Gary is young. If something is rough and kind then it is not smart.
Charlie is not big.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is rough.[(triple4)] Charlie is not rough.[(triple5)] Charlie is round.[(triple6)] Gary is big.[(triple7)] Gary is green.[(triple8)] Gary is rough.[(triple9)] Gary is young.[(triple10)] @1: Bob is not smart.[(((triple4 triple3) -> rule1))]