Erin is big. Erin is furry. Erin is nice. Erin is not smart. Erin is young. Gary is not big. Gary is furry. Gary is nice. Gary is smart. Gary is young. If Gary is not nice then Gary is big. If something is furry and not blue then it is smart.
Erin is not smart.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is not smart.[(triple4)] Erin is young.[(triple5)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is not big.[(triple6)] Gary is smart.[(triple9)] Gary is young.[(triple10)]