Anne is furry. Anne is kind. Anne is round. Fiona is nice. Fiona is quiet. Gary is not quiet. Gary is round. If someone is big then they are kind. If someone is big then they are kind. Nice people are round. If Anne is not kind and Anne is not big then Anne is nice. If someone is big and not round then they are young. If someone is round and furry then they are not young.
Fiona is nice.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Gary is not quiet.[(triple6)] Gary is round.[(triple7)] @1: Anne is not young.[(((triple3 triple1) -> rule6))] Fiona is round.[(((triple4) -> rule3))]