Anne is not blue. Anne is quiet. Anne is red. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Harry is big. Harry is not blue. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is smart. If something is kind then it is green. If Harry is blue then Harry is not big. All kind things are smart. Quiet things are smart. If Anne is smart then Anne is kind. If something is blue and not green then it is big.
Anne is smart.
@0: Anne is not blue.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5 OR ((triple6) -> rule1))] Fiona is kind.[(triple6)] Fiona is quiet.[(triple7)] Fiona is smart.[(triple8 OR ((triple6) -> rule3) OR ((triple7) -> rule4))] Harry is big.[(triple9)] Harry is green.[(triple11 OR ((triple12) -> rule1))] Harry is kind.[(triple12)] Harry is not blue.[(triple10)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is smart.[(triple15 OR ((triple12) -> rule3) OR ((triple13) -> rule4))] @1: Anne is smart.[(((triple2) -> rule4))] @2: Anne is kind.[(((((triple2) -> rule4)) -> rule5))] @3: Anne is green.[(((((((triple2) -> rule4)) -> rule5)) -> rule1))]