Bob is not furry. Bob is round. Erin is not blue. Erin is quiet. Erin is rough. Gary is furry. Gary is green. Gary is quiet. Gary is rough. Gary is not round. If something is rough and young then it is furry. Quiet, rough things are not young. If something is green and not blue then it is rough.
Bob is not rough.
@0: Bob is not furry.[(triple1)] Bob is round.[(triple2)] Erin is not blue.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is not round.[(triple10)] Gary is quiet.[(triple8)] Gary is rough.[(triple9)] @1: Erin is not young.[(((triple4 triple5) -> rule2))] Gary is not young.[(((triple8 triple9) -> rule2))]