Bob is blue. Charlie is furry. Charlie is green. Charlie is quiet. Dave is green. Erin is green. Erin is red. If someone is green then they are red. Smart people are green.
Dave is smart.
@0: Bob is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is quiet.[(triple4)] Dave is green.[(triple5)] Erin is green.[(triple6)] Erin is red.[(triple7 OR ((triple6) -> rule1))] @1: Charlie is red.[(((triple3) -> rule1))] Dave is red.[(((triple5) -> rule1))]