Bob is quiet. Charlie is green. Gary is quiet. All furry, big people are quiet. All cold, white people are red. If someone is green and red then they are cold. If Charlie is big then Charlie is quiet. Big, cold people are white. If someone is green and cold then they are quiet. Cold, quiet people are white. All green people are cold.
Bob is quiet.
@0: Bob is quiet.[(triple1)] Charlie is green.[(triple2)] Gary is quiet.[(triple3)] @1: Charlie is cold.[(((triple2) -> rule8))] @2: Charlie is quiet.[(((triple2 ((triple2) -> rule8)) -> rule6))] @3: Charlie is white.[(((((triple2) -> rule8) ((triple2 ((triple2) -> rule8)) -> rule6)) -> rule7))] @4: Charlie is red.[(((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2 ((triple2) -> rule8)) -> rule6)) -> rule7)) -> rule2))]