Anne is green. Anne is quiet. Anne is white. Fiona is big. Fiona is green. Fiona is kind. Fiona is white. Green, quiet things are young. If something is big then it is young. If something is blue then it is quiet. If something is quiet and young then it is big. If something is kind then it is green. If something is young then it is green. If Anne is green and Anne is big then Anne is quiet. If something is green then it is kind.
Fiona is not quiet.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Fiona is big.[(triple4)] Fiona is green.[(triple5 OR ((triple6) -> rule5) OR ((((triple4) -> rule2)) -> rule6))] Fiona is kind.[(triple6 OR ((triple5) -> rule8) OR ((((((triple4) -> rule2)) -> rule6)) -> rule8))] Fiona is white.[(triple7)] @1: Anne is kind.[(((triple1) -> rule8))] Anne is young.[(((triple1 triple2) -> rule1))] Fiona is young.[(((triple4) -> rule2))] @2: Anne is big.[(((triple2 ((triple1 triple2) -> rule1)) -> rule4))]