Anne is rough. Anne is young. Bob is not rough. Erin is furry. Erin is red. Gary is big. Gary is not rough. If Gary is young then Gary is red. If something is big then it is young. If Bob is blue then Bob is red. Nice things are blue. Red things are not nice. If something is young and nice then it is not red. If something is furry and not red then it is rough. If something is red and not blue then it is rough.
Erin is not nice.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Bob is not rough.[(triple3)] Erin is furry.[(triple4)] Erin is red.[(triple5)] Gary is big.[(triple6)] Gary is not rough.[(triple7)] @1: Erin is not nice.[(((triple5) -> rule5))] Gary is young.[(((triple6) -> rule2))] @2: Gary is red.[(((((triple6) -> rule2)) -> rule1))] @3: Gary is not nice.[(((((((triple6) -> rule2)) -> rule1)) -> rule5))]