Erin is kind. Erin is red. Harry is smart. Cold, smart things are red. Young things are rough. If something is furry and red then it is rough. If something is furry and rough then it is young. If something is cold and furry then it is red. If something is young and rough then it is red. If something is smart and young then it is cold. If Erin is red and Erin is furry then Erin is cold.
Harry is not smart.
@0: Erin is kind.[(triple1)] Erin is red.[(triple2)] Harry is smart.[(triple3)]