Anne is young. Erin is blue. Erin is smart. Erin is white. Erin is young. Fiona is blue. Fiona is furry. Fiona is red. Fiona is round. Fiona is white. Fiona is young. Gary is blue. Gary is furry. Gary is round. Gary is smart. Gary is white. Smart, white things are red. If something is smart and red then it is blue. All furry things are smart.
Gary is furry.
@0: Anne is young.[(triple1)] Erin is blue.[(triple2 OR ((triple3 ((triple3 triple4) -> rule1)) -> rule2))] Erin is smart.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Fiona is blue.[(triple6 OR ((((triple7) -> rule3) triple8) -> rule2) OR ((((triple7) -> rule3) ((((triple7) -> rule3) triple10) -> rule1)) -> rule2))] Fiona is furry.[(triple7)] Fiona is red.[(triple8 OR ((((triple7) -> rule3) triple10) -> rule1))] Fiona is round.[(triple9)] Fiona is white.[(triple10)] Fiona is young.[(triple11)] Gary is blue.[(triple12 OR ((triple15 ((triple15 triple16) -> rule1)) -> rule2) OR ((((triple13) -> rule3) ((triple15 triple16) -> rule1)) -> rule2) OR ((triple15 ((((triple13) -> rule3) triple16) -> rule1)) -> rule2) OR ((((triple13) -> rule3) ((((triple13) -> rule3) triple16) -> rule1)) -> rule2))] Gary is furry.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15 OR ((triple13) -> rule3))] Gary is white.[(triple16)] @1: Erin is red.[(((triple3 triple4) -> rule1))] Fiona is smart.[(((triple7) -> rule3))] Gary is red.[(((triple15 triple16) -> rule1) OR ((((triple13) -> rule3) triple16) -> rule1))]