Harry is big. Harry is cold. Harry is smart. If someone is quiet then they are not young. If someone is blue then they are not quiet. Young people are big. If someone is smart and not quiet then they are not red. If someone is smart and not big then they are red. If someone is quiet then they are red.
Harry is not big.
@0: Harry is big.[(triple1)] Harry is cold.[(triple2)] Harry is smart.[(triple3)]