Charlie is kind. Dave is kind. Fiona is blue. Kind people are blue. Red people are blue. All quiet people are young. Blue people are green. All kind people are quiet. If someone is young then they are red.
Dave is not red.
@0: Charlie is kind.[(triple1)] Dave is kind.[(triple2)] Fiona is blue.[(triple3)] @1: Charlie is blue.[(((triple1) -> rule1) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule6)) -> rule2))] Charlie is quiet.[(((triple1) -> rule5))] Dave is blue.[(((triple2) -> rule1) OR ((((((((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule2))] Dave is quiet.[(((triple2) -> rule5))] Fiona is green.[(((triple3) -> rule4))] @2: Charlie is green.[(((((triple1) -> rule1)) -> rule4) OR ((((((((((triple1) -> rule5)) -> rule3)) -> rule6)) -> rule2)) -> rule4))] Charlie is young.[(((((triple1) -> rule5)) -> rule3))] Dave is green.[(((((triple2) -> rule1)) -> rule4) OR ((((((((((triple2) -> rule5)) -> rule3)) -> rule6)) -> rule2)) -> rule4))] Dave is young.[(((((triple2) -> rule5)) -> rule3))] @3: Charlie is red.[(((((((triple1) -> rule5)) -> rule3)) -> rule6))] Dave is red.[(((((((triple2) -> rule5)) -> rule3)) -> rule6))]