Bob is not red. Charlie is rough. Gary is red. Young, quiet things are big. If Charlie is red then Charlie is young. If something is rough then it is smart. If something is kind and quiet then it is smart. Red things are smart. If Gary is kind then Gary is not big. If something is kind then it is not quiet. Quiet things are kind.
Bob is not big.
@0: Bob is not red.[(triple1)] Charlie is rough.[(triple2)] Gary is red.[(triple3)] @1: Charlie is smart.[(((triple2) -> rule3))] Gary is smart.[(((triple3) -> rule5))]