Anne is kind. Anne is smart. Anne is white. Dave is big. Dave is green. Dave is quiet. Dave is smart. Dave is white. Erin is big. Erin is kind. Erin is smart. Erin is white. Smart things are big. If something is big and kind then it is quiet.
Anne is not red.
@0: Anne is kind.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Dave is big.[(triple4 OR ((triple7) -> rule1))] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Dave is smart.[(triple7)] Dave is white.[(triple8)] Erin is big.[(triple9 OR ((triple11) -> rule1))] Erin is kind.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12)] @1: Anne is big.[(((triple2) -> rule1))] Erin is quiet.[(((triple9 triple10) -> rule2) OR ((((triple11) -> rule1) triple10) -> rule2))] @2: Anne is quiet.[(((((triple2) -> rule1) triple1) -> rule2))]