Anne is green. Anne is quiet. Dave is green. Erin is green. Erin is red. Fiona is big. Fiona is red. All red, blue things are big. Green, kind things are cold. If something is cold then it is quiet. All kind, quiet things are green. All big things are green. If Dave is red and Dave is big then Dave is green. If something is kind and blue then it is red. Quiet things are red.
Dave is not red.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Dave is green.[(triple3)] Erin is green.[(triple4)] Erin is red.[(triple5)] Fiona is big.[(triple6)] Fiona is red.[(triple7)] @1: Anne is red.[(((triple2) -> rule8))] Fiona is green.[(((triple6) -> rule5))]