Bob is quiet. Charlie is not blue. Gary is nice. If Gary is quiet then Gary is furry. All red people are nice. Nice people are kind. If someone is furry then they are not cold. If someone is cold then they are red. If someone is nice then they are quiet.
Bob is quiet.
@0: Bob is quiet.[(triple1)] Charlie is not blue.[(triple2)] Gary is nice.[(triple3)] @1: Gary is kind.[(((triple3) -> rule3))] Gary is quiet.[(((triple3) -> rule6))] @2: Gary is furry.[(((((triple3) -> rule6)) -> rule1))] @3: Gary is not cold.[(((((((triple3) -> rule6)) -> rule1)) -> rule4))]