Anne is big. Anne is kind. Anne is red. Fiona is green. Fiona is white. Gary is big. Gary is kind. Gary is quiet. Gary is white. Harry is green. Harry is kind. Harry is quiet. Big, kind things are white. If something is red then it is green. White, kind things are quiet.
Harry is not white.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Fiona is green.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8 OR ((triple9 triple7) -> rule3) OR ((((triple6 triple7) -> rule1) triple7) -> rule3))] Gary is white.[(triple9 OR ((triple6 triple7) -> rule1))] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12)] @1: Anne is green.[(((triple3) -> rule2))] Anne is white.[(((triple1 triple2) -> rule1))] @2: Anne is quiet.[(((((triple1 triple2) -> rule1) triple2) -> rule3))]