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