Anne is green. Charlie is red. Dave is big. Fiona is green. If Dave is green then Dave is not furry. White, blue things are big. If something is blue then it is not big. If something is kind and not green then it is big. If something is green then it is furry. If something is furry then it is blue.
Dave is big.
@0: Anne is green.[(triple1)] Charlie is red.[(triple2)] Dave is big.[(triple3)] Fiona is green.[(triple4)] @1: Anne is furry.[(((triple1) -> rule5))] Fiona is furry.[(((triple4) -> rule5))] @2: Anne is blue.[(((((triple1) -> rule5)) -> rule6))] Fiona is blue.[(((((triple4) -> rule5)) -> rule6))] @3: Anne is not big.[(((((((triple1) -> rule5)) -> rule6)) -> rule3))] Fiona is not big.[(((((((triple4) -> rule5)) -> rule6)) -> rule3))]