Anne is kind. Anne is not nice. Anne is quiet. Anne is red. Anne is smart. Charlie is not blue. Charlie is nice. Charlie is quiet. Charlie is smart. Fiona is nice. Fiona is not quiet. Fiona is red. If someone is quiet and not blue then they are not big. If someone is nice and not blue then they are quiet. If someone is quiet and not big then they are not red.
Anne is blue.
@0: Anne is kind.[(triple1)] Anne is not nice.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Charlie is nice.[(triple7)] Charlie is not blue.[(triple6)] Charlie is quiet.[(triple8 OR ((triple7 triple6) -> rule2))] Charlie is smart.[(triple9)] Fiona is nice.[(triple10)] Fiona is not quiet.[(triple11)] Fiona is red.[(triple12)] @1: Charlie is not big.[(((triple8 triple6) -> rule1) OR ((((triple7 triple6) -> rule2) triple6) -> rule1))] @2: Charlie is not red.[(((triple8 ((triple8 triple6) -> rule1)) -> rule3) OR ((((triple7 triple6) -> rule2) ((triple8 triple6) -> rule1)) -> rule3) OR ((triple8 ((((triple7 triple6) -> rule2) triple6) -> rule1)) -> rule3) OR ((((triple7 triple6) -> rule2) ((((triple7 triple6) -> rule2) triple6) -> rule1)) -> rule3))]