Charlie is furry. Charlie is round. Charlie is smart. Fiona is blue. Fiona is furry. Fiona is red. Fiona is smart. Fiona is white. Gary is blue. Gary is round. If Fiona is round and Fiona is not white then Fiona is smart. Blue things are round. If Charlie is big and Charlie is not round then Charlie is smart.
Gary is blue.
@0: Charlie is furry.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8)] Gary is blue.[(triple9)] Gary is round.[(triple10 OR ((triple9) -> rule2))] @1: Fiona is round.[(((triple4) -> rule2))]