Anne is red. Anne is young. Fiona is furry. Fiona is nice. Fiona is quiet. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is young. All quiet, furry people are red. All kind people are big. All kind, nice people are furry.
Anne is not big.
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Fiona is furry.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Gary is big.[(triple6 OR ((triple8) -> rule2))] Gary is furry.[(triple7 OR ((triple8 triple9) -> rule3))] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11 OR ((triple10 triple7) -> rule1) OR ((triple10 ((triple8 triple9) -> rule3)) -> rule1))] Gary is young.[(triple12)] @1: Fiona is red.[(((triple5 triple3) -> rule1))]