Charlie is quiet. Charlie is young. Dave is big. Dave is blue. Dave is furry. Dave is not round. Erin is big. Erin is blue. Erin is young. Gary is furry. Gary is quiet. Gary is smart. If Erin is quiet and Erin is not big then Erin is round.
Erin is not round.
@0: Charlie is quiet.[(triple1)] Charlie is young.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is not round.[(triple6)] Erin is big.[(triple7)] Erin is blue.[(triple8)] Erin is young.[(triple9)] Gary is furry.[(triple10)] Gary is quiet.[(triple11)] Gary is smart.[(triple12)]