Bob is quiet. Charlie is quiet. Erin is quiet. If Erin is quiet and Erin is green then Erin is white. Big, quiet things are red. If something is white then it is big. All quiet, rough things are white. All rough things are green. All quiet things are red.
Bob is green.
@0: Bob is quiet.[(triple1)] Charlie is quiet.[(triple2)] Erin is quiet.[(triple3)] @1: Bob is red.[(((triple1) -> rule6))] Charlie is red.[(((triple2) -> rule6))] Erin is red.[(((triple3) -> rule6))]