Anne is not big. Anne is blue. Anne is not cold. Anne is green. Anne is not kind. Anne is not nice. Anne is young. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is not nice. Erin is young. If Erin is not young then Erin is not nice. All kind, nice things are not cold. If something is kind and not nice then it is big. If Anne is blue then Anne is green. All green, big things are blue. If something is cold and not big then it is green.
Erin is not young.
@0: Anne is blue.[(triple2)] Anne is green.[(triple4 OR ((triple2) -> rule4))] Anne is not big.[(triple1)] Anne is not cold.[(triple3)] Anne is not kind.[(triple5)] Anne is not nice.[(triple6)] Anne is young.[(triple7)] Erin is big.[(triple8 OR ((triple12 triple13) -> rule3))] Erin is blue.[(triple9 OR ((triple11 triple8) -> rule5) OR ((triple11 ((triple12 triple13) -> rule3)) -> rule5))] Erin is cold.[(triple10)] Erin is green.[(triple11)] Erin is kind.[(triple12)] Erin is not nice.[(triple13)] Erin is young.[(triple14)]