Anne is furry. Anne is red. Anne is round. Erin is cold. Erin is furry. Erin is round. Erin is smart. Fiona is cold. Fiona is furry. Fiona is red. Fiona is smart. Fiona is white. Gary is furry. Gary is quiet. Gary is round. Gary is white. If Anne is smart then Anne is quiet. Quiet things are cold. Red, smart things are round.
Fiona is not furry.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is red.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] Gary is furry.[(triple13)] Gary is quiet.[(triple14)] Gary is round.[(triple15)] Gary is white.[(triple16)] @1: Fiona is round.[(((triple10 triple11) -> rule3))] Gary is cold.[(((triple14) -> rule2))]