Anne is furry. Anne is young. Dave is big. Dave is rough. Dave is young. Fiona is big. Fiona is furry. If someone is green then they are blue. If someone is big and furry then they are blue. If Dave is rough and Dave is blue then Dave is kind. All rough people are green. Green people are young. If someone is kind and big then they are blue.
Fiona is not green.
@0: Anne is furry.[(triple1)] Anne is young.[(triple2)] Dave is big.[(triple3)] Dave is rough.[(triple4)] Dave is young.[(triple5 OR ((((triple4) -> rule4)) -> rule5))] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] @1: Dave is green.[(((triple4) -> rule4))] Fiona is blue.[(((triple6 triple7) -> rule2))] @2: Dave is blue.[(((((triple4) -> rule4)) -> rule1))] @3: Dave is kind.[(((triple4 ((((triple4) -> rule4)) -> rule1)) -> rule3))]