Anne is kind. Anne is round. Fiona is nice. Gary is big. Gary is round. Harry is kind. Harry is round. If someone is kind then they are not quiet. If someone is nice then they are kind. All round people are furry. All nice, kind people are round. Round, big people are rough. If someone is furry then they are big. If someone is round and not furry then they are big. If Gary is not quiet and Gary is not big then Gary is not rough.
Fiona is not big.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Fiona is nice.[(triple3)] Gary is big.[(triple4 OR ((((triple5) -> rule3)) -> rule6))] Gary is round.[(triple5)] Harry is kind.[(triple6)] Harry is round.[(triple7)] @1: Anne is furry.[(((triple2) -> rule3))] Anne is not quiet.[(((triple1) -> rule1))] Fiona is kind.[(((triple3) -> rule2))] Gary is furry.[(((triple5) -> rule3))] Gary is rough.[(((triple5 triple4) -> rule5) OR ((triple5 ((((triple5) -> rule3)) -> rule6)) -> rule5))] Harry is furry.[(((triple7) -> rule3))] Harry is not quiet.[(((triple6) -> rule1))] @2: Anne is big.[(((((triple2) -> rule3)) -> rule6))] Fiona is not quiet.[(((((triple3) -> rule2)) -> rule1))] Fiona is round.[(((triple3 ((triple3) -> rule2)) -> rule4))] Harry is big.[(((((triple7) -> rule3)) -> rule6))] @3: Anne is rough.[(((triple2 ((((triple2) -> rule3)) -> rule6)) -> rule5))] Fiona is furry.[(((((triple3 ((triple3) -> rule2)) -> rule4)) -> rule3))] Harry is rough.[(((triple7 ((((triple7) -> rule3)) -> rule6)) -> rule5))] @4: Fiona is big.[(((((((triple3 ((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule6))] @5: Fiona is rough.[(((((triple3 ((triple3) -> rule2)) -> rule4) ((((((triple3 ((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule6)) -> rule5))]