Anne is not blue. Anne is furry. Anne is nice. Anne is red. Anne is rough. Erin is big. Erin is blue. Erin is furry. Erin is nice. Erin is rough. All green, red people are rough. If someone is nice and big then they are rough. Red, green people are furry. Red people are big. All furry people are green. If someone is nice and not rough then they are not blue.
Anne is nice.
@0: Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is not blue.[(triple1)] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple3 ((triple4) -> rule4)) -> rule2) OR ((((triple2) -> rule5) triple4) -> rule1))] Erin is big.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is nice.[(triple9)] Erin is rough.[(triple10 OR ((triple9 triple6) -> rule2))] @1: Anne is big.[(((triple4) -> rule4))] Anne is green.[(((triple2) -> rule5))] Erin is green.[(((triple8) -> rule5))]