Bob is quiet. Charlie is cold. Gary is red. If someone is red then they are cold. All quiet, nice people are furry. If someone is nice and red then they are blue. If someone is green then they are blue. All red people are blue. If someone is red then they are furry.
Bob is quiet.
@0: Bob is quiet.[(triple1)] Charlie is cold.[(triple2)] Gary is red.[(triple3)] @1: Gary is blue.[(((triple3) -> rule5))] Gary is cold.[(((triple3) -> rule1))] Gary is furry.[(((triple3) -> rule6))]