Erin is quiet. Erin is rough. Erin is smart. Gary is quiet. Gary is rough. Harry is furry. Harry is white. If Harry is rough then Harry is white. If someone is round and smart then they are rough. If someone is white and furry then they are green. Round, rough people are furry. If someone is green then they are white. All furry, round people are green.
Harry is quiet.
@0: Erin is quiet.[(triple1)] Erin is rough.[(triple2)] Erin is smart.[(triple3)] Gary is quiet.[(triple4)] Gary is rough.[(triple5)] Harry is furry.[(triple6)] Harry is white.[(triple7)] @1: Harry is green.[(((triple7 triple6) -> rule3))]