Bob is quiet. Charlie is green. Dave is blue. Fiona is green. All white, big things are quiet. If something is green then it is blue. All quiet things are kind. All blue things are quiet. If something is quiet then it is green. All kind, big things are red.
Dave is not quiet.
@0: Bob is quiet.[(triple1)] Charlie is green.[(triple2)] Dave is blue.[(triple3)] Fiona is green.[(triple4)] @1: Bob is green.[(((triple1) -> rule5))] Bob is kind.[(((triple1) -> rule3))] Charlie is blue.[(((triple2) -> rule2))] Dave is quiet.[(((triple3) -> rule4))] Fiona is blue.[(((triple4) -> rule2))] @2: Bob is blue.[(((((triple1) -> rule5)) -> rule2))] Charlie is quiet.[(((((triple2) -> rule2)) -> rule4))] Dave is green.[(((((triple3) -> rule4)) -> rule5))] Dave is kind.[(((((triple3) -> rule4)) -> rule3))] Fiona is quiet.[(((((triple4) -> rule2)) -> rule4))] @3: Charlie is kind.[(((((((triple2) -> rule2)) -> rule4)) -> rule3))] Fiona is kind.[(((((((triple4) -> rule2)) -> rule4)) -> rule3))]