Anne is blue. Bob is quiet. Erin is cold. Harry is young. If someone is green and big then they are kind. Young, big people are green. Green, big people are young. All quiet, big people are kind. If someone is cold and big then they are quiet. If Bob is blue and Bob is quiet then Bob is cold.
Harry is big.
@0: Anne is blue.[(triple1)] Bob is quiet.[(triple2)] Erin is cold.[(triple3)] Harry is young.[(triple4)]