Bob is blue. Bob is green. Charlie is blue. Charlie is quiet. Charlie is white. Fiona is big. Fiona is quiet. If something is green then it is red. If something is quiet then it is green.
Charlie is quiet.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Charlie is blue.[(triple3)] Charlie is quiet.[(triple4)] Charlie is white.[(triple5)] Fiona is big.[(triple6)] Fiona is quiet.[(triple7)] @1: Bob is red.[(((triple2) -> rule1))] Charlie is green.[(((triple4) -> rule2))] Fiona is green.[(((triple7) -> rule2))] @2: Charlie is red.[(((((triple4) -> rule2)) -> rule1))] Fiona is red.[(((((triple7) -> rule2)) -> rule1))]