Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is smart. Anne is white. Anne is young. Erin is blue. Erin is green. Erin is nice. Erin is red. Erin is smart. Erin is white. Erin is young. If something is red then it is young. Young things are white.
Erin is not nice.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple7) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Anne is young.[(triple7 OR ((triple4) -> rule1))] Erin is blue.[(triple8)] Erin is green.[(triple9)] Erin is nice.[(triple10)] Erin is red.[(triple11)] Erin is smart.[(triple12)] Erin is white.[(triple13 OR ((triple14) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] Erin is young.[(triple14 OR ((triple11) -> rule1))]