Anne is cold. Anne is furry. Anne is quiet. Anne is white. Fiona is big. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is smart. Fiona is white. Gary is big. Gary is cold. Gary is furry. Gary is smart. Gary is white. Blue, white people are smart. Furry people are blue.
Anne is big.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6 OR ((triple7) -> rule2))] Fiona is furry.[(triple7)] Fiona is quiet.[(triple8)] Fiona is smart.[(triple9 OR ((triple6 triple10) -> rule1) OR ((((triple7) -> rule2) triple10) -> rule1))] Fiona is white.[(triple10)] Gary is big.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is smart.[(triple14 OR ((((triple13) -> rule2) triple15) -> rule1))] Gary is white.[(triple15)] @1: Anne is blue.[(((triple2) -> rule2))] Gary is blue.[(((triple13) -> rule2))] @2: Anne is smart.[(((((triple2) -> rule2) triple4) -> rule1))]