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