Erin is big. Erin is not kind. Erin is quiet. Erin is red. Gary is red. Gary is round. Gary is smart. Harry is big. Harry is not kind. Harry is round. White, smart things are not big. If Erin is quiet and Erin is round then Erin is smart. If Gary is big and Gary is not kind then Gary is not smart.
Erin is not smart.
@0: Erin is big.[(triple1)] Erin is not kind.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Gary is red.[(triple5)] Gary is round.[(triple6)] Gary is smart.[(triple7)] Harry is big.[(triple8)] Harry is not kind.[(triple9)] Harry is round.[(triple10)]