Charlie is big. Charlie is green. Charlie is red. Erin is furry. Erin is green. Erin is red. Erin is smart. Fiona is young. Gary is blue. Gary is furry. Young people are smart.
Fiona is furry.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is red.[(triple3)] Erin is furry.[(triple4)] Erin is green.[(triple5)] Erin is red.[(triple6)] Erin is smart.[(triple7)] Fiona is young.[(triple8)] Gary is blue.[(triple9)] Gary is furry.[(triple10)] @1: Fiona is smart.[(((triple8) -> rule1))]