Anne is big. Anne is quiet. Anne is white. Anne is young. Erin is kind. Erin is white. Erin is young. Gary is big. Gary is smart. Gary is young. Big things are quiet. All kind, white things are big. All big, young things are quiet.
Anne is not kind.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2 OR ((triple1) -> rule1) OR ((triple1 triple4) -> rule3))] Anne is white.[(triple3)] Anne is young.[(triple4)] Erin is kind.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is big.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)] @1: Erin is big.[(((triple5 triple6) -> rule2))] Gary is quiet.[(((triple8) -> rule1) OR ((triple8 triple10) -> rule3))] @2: Erin is quiet.[(((((triple5 triple6) -> rule2)) -> rule1) OR ((((triple5 triple6) -> rule2) triple7) -> rule3))]