Charlie is kind. Erin is red. Erin is round. Fiona is round. Fiona is smart. Fiona is white. Gary is kind. Gary is red. Gary is smart. Gary is white. All green people are red. All white people are young.
Fiona is not white.
@0: Charlie is kind.[(triple1)] Erin is red.[(triple2)] Erin is round.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Fiona is white.[(triple6)] Gary is kind.[(triple7)] Gary is red.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Fiona is young.[(((triple6) -> rule2))] Gary is young.[(((triple10) -> rule2))]