Anne is not kind. Bob is green. Erin is rough. Gary is quiet. If someone is rough and not quiet then they are big. If someone is smart and not quiet then they are big. If someone is quiet and not green then they are round. All quiet, rough people are not round. If Bob is big and Bob is not quiet then Bob is round. If someone is green then they are rough.
Bob is not round.
@0: Anne is not kind.[(triple1)] Bob is green.[(triple2)] Erin is rough.[(triple3)] Gary is quiet.[(triple4)] @1: Bob is rough.[(((triple2) -> rule6))]