Anne is big. Anne is green. Charlie is big. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Gary is big. Gary is kind. Gary is white. If someone is furry and white then they are green. If someone is quiet and kind then they are furry. All white, kind people are quiet.
Gary is quiet.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Charlie is big.[(triple3)] Fiona is big.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Gary is big.[(triple8)] Gary is kind.[(triple9)] Gary is white.[(triple10)] @1: Fiona is furry.[(((triple7 triple6) -> rule2))] Gary is quiet.[(((triple10 triple9) -> rule3))] @2: Gary is furry.[(((((triple10 triple9) -> rule3) triple9) -> rule2))] @3: Gary is green.[(((((((triple10 triple9) -> rule3) triple9) -> rule2) triple10) -> rule1))]