Charlie is big. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is not smart. Erin is red. Erin is smart. Gary is green. Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is red. Harry is not smart. All smart, furry things are not cold. All green, smart things are big. If something is red and not kind then it is green.
Charlie is furry.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is not cold.[(triple2)] Charlie is not smart.[(triple7)] Charlie is red.[(triple6)] Erin is red.[(triple8)] Erin is smart.[(triple9)] Gary is green.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is not smart.[(triple16)] Harry is red.[(triple15)]