Anne is blue. Anne is not green. Anne is red. Anne is smart. Anne is not young. Fiona is big. Fiona is not blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. Green, red things are smart. If something is red and blue then it is not big. If Fiona is big then Fiona is green. Quiet things are green. If something is quiet and blue then it is not young. All blue, big things are young. If something is quiet and not smart then it is young. If something is green and blue then it is young.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is not green.[(triple2)] Anne is not young.[(triple5)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Fiona is big.[(triple6)] Fiona is green.[(triple8 OR ((triple6) -> rule3) OR ((triple9) -> rule4))] Fiona is not blue.[(triple7)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Fiona is smart.[(triple11 OR ((triple8 triple10) -> rule1) OR ((((triple6) -> rule3) triple10) -> rule1) OR ((((triple9) -> rule4) triple10) -> rule1))] Fiona is young.[(triple12)] @1: Anne is not big.[(((triple3 triple1) -> rule2))]