Anne is red. Anne is smart. Anne is young. Dave is furry. Erin is blue. Gary is blue. Gary is rough. All kind people are blue. Furry people are young. Blue people are furry. If Dave is kind then Dave is young. All red, kind people are young. If someone is red then they are young. If Dave is red then Dave is young. Young, furry people are kind.
Anne is not blue.
@0: Anne is red.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3 OR ((triple1) -> rule6))] Dave is furry.[(triple4)] Erin is blue.[(triple5)] Gary is blue.[(triple6)] Gary is rough.[(triple7)] @1: Dave is young.[(((triple4) -> rule2))] Erin is furry.[(((triple5) -> rule3))] Gary is furry.[(((triple6) -> rule3))] @2: Dave is kind.[(((((triple4) -> rule2) triple4) -> rule8))] Erin is young.[(((((triple5) -> rule3)) -> rule2))] Gary is young.[(((((triple6) -> rule3)) -> rule2))] @3: Dave is blue.[(((((((triple4) -> rule2) triple4) -> rule8)) -> rule1))] Erin is kind.[(((((((triple5) -> rule3)) -> rule2) ((triple5) -> rule3)) -> rule8))] Gary is kind.[(((((((triple6) -> rule3)) -> rule2) ((triple6) -> rule3)) -> rule8))]