Bob is kind. Gary is quiet. Harry is red. If someone is blue and round then they are kind. If Harry is cold and Harry is kind then Harry is quiet. If someone is blue and big then they are round. All quiet people are cold. If someone is cold and big then they are kind. If Bob is red then Bob is blue. If Harry is quiet and Harry is cold then Harry is blue. If someone is quiet and big then they are kind.
Gary is not round.
@0: Bob is kind.[(triple1)] Gary is quiet.[(triple2)] Harry is red.[(triple3)] @1: Gary is cold.[(((triple2) -> rule4))]