Bob is not big. Erin is rough. Gary is big. Gary is not furry. Gary is not young. Harry is quiet. Harry is young. All young, nice people are not big. If someone is smart then they are furry. If someone is furry and smart then they are rough. All big, smart people are nice. All rough, nice people are young. If someone is young then they are smart.
Gary is quiet.
@0: Bob is not big.[(triple1)] Erin is rough.[(triple2)] Gary is big.[(triple3)] Gary is not furry.[(triple4)] Gary is not young.[(triple5)] Harry is quiet.[(triple6)] Harry is young.[(triple7)] @1: Harry is smart.[(((triple7) -> rule6))] @2: Harry is furry.[(((((triple7) -> rule6)) -> rule2))] @3: Harry is rough.[(((((((triple7) -> rule6)) -> rule2) ((triple7) -> rule6)) -> rule3))]