Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is round. Erin is furry. Erin is nice. Erin is rough. Erin is smart. Erin is young. Fiona is quiet. Fiona is rough. Fiona is young. Gary is furry. Gary is nice. Gary is quiet. Gary is rough. If Gary is furry then Gary is round.
Gary is smart.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is round.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6)] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Erin is young.[(triple9)] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is quiet.[(triple15)] Gary is rough.[(triple16)] @1: Gary is round.[(((triple13) -> rule1))]