Anne is not furry. Anne is not green. Anne is nice. Anne is not red. Anne is round. Anne is smart. Anne is young. Bob is green. Bob is smart. Erin is green. Erin is nice. Erin is round. Gary is furry. Gary is not green. Gary is red. Gary is not round. If Bob is nice then Bob is young. All green, smart people are nice. If someone is green and not red then they are nice. Red people are smart. All young people are smart. If Gary is round and Gary is not nice then Gary is furry.
Erin is not smart.
@0: Anne is nice.[(triple3)] Anne is not furry.[(triple1)] Anne is not green.[(triple2)] Anne is not red.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple7) -> rule5))] Anne is young.[(triple7)] Bob is green.[(triple8)] Bob is smart.[(triple9)] Erin is green.[(triple10)] Erin is nice.[(triple11)] Erin is round.[(triple12)] Gary is furry.[(triple13)] Gary is not green.[(triple14)] Gary is not round.[(triple16)] Gary is red.[(triple15)] @1: Bob is nice.[(((triple8 triple9) -> rule2))] Gary is smart.[(((triple15) -> rule4))] @2: Bob is young.[(((((triple8 triple9) -> rule2)) -> rule1))]