Charlie is furry. Erin is big. Gary is blue. Harry is smart. If Harry is not kind then Harry is blue. If Charlie is quiet and Charlie is smart then Charlie is not furry. All blue, quiet things are cold.
Erin is big.
@0: Charlie is furry.[(triple1)] Erin is big.[(triple2)] Gary is blue.[(triple3)] Harry is smart.[(triple4)]