Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is white. Bob is big. Bob is white. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is quiet. Erin is red. If something is big and quiet then it is white. If something is cold and quiet then it is big.
Erin is green.
@0: Anne is big.[(triple1 OR ((triple2 triple5) -> rule2))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Anne is red.[(triple6)] Anne is white.[(triple7 OR ((triple1 triple5) -> rule1) OR ((((triple2 triple5) -> rule2) triple5) -> rule1))] Bob is big.[(triple8)] Bob is white.[(triple9)] Erin is big.[(triple10 OR ((triple11 triple14) -> rule2))] Erin is cold.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is quiet.[(triple14)] Erin is red.[(triple15)] @1: Erin is white.[(((triple10 triple14) -> rule1) OR ((((triple11 triple14) -> rule2) triple14) -> rule1))]