Anne is not big. Gary is rough. Gary is white. Harry is green. Harry is quiet. Harry is not round. Harry is white. If someone is furry and not quiet then they are rough. If someone is rough and not green then they are not white. All round people are big. If someone is white then they are furry. If Anne is white and Anne is rough then Anne is furry. If someone is furry and rough then they are round. If Gary is not white and Gary is not rough then Gary is big. If Harry is quiet and Harry is not furry then Harry is not big.
Anne is quiet.
@0: Anne is not big.[(triple1)] Gary is rough.[(triple2)] Gary is white.[(triple3)] Harry is green.[(triple4)] Harry is not round.[(triple6)] Harry is quiet.[(triple5)] Harry is white.[(triple7)] @1: Gary is furry.[(((triple3) -> rule4))] Harry is furry.[(((triple7) -> rule4))] @2: Gary is round.[(((((triple3) -> rule4) triple2) -> rule6))] @3: Gary is big.[(((((((triple3) -> rule4) triple2) -> rule6)) -> rule3))]