Bob is red. Fiona is blue. If something is big and quiet then it is green. Nice, green things are red. Young things are blue. If something is blue then it is quiet. Red, nice things are quiet. Quiet, blue things are green. If Bob is quiet then Bob is blue. All young things are quiet.
Bob is not green.
@0: Bob is red.[(triple1)] Fiona is blue.[(triple2)] @1: Fiona is quiet.[(((triple2) -> rule4))] @2: Fiona is green.[(((((triple2) -> rule4) triple2) -> rule6))]