Anne is blue. Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is smart. Erin is blue. Erin is furry. Erin is quiet. Fiona is furry. Fiona is nice. Fiona is red. Gary is blue. Gary is nice. Gary is young. If someone is furry and nice then they are young. If someone is nice then they are red. If someone is quiet then they are smart. If someone is nice and young then they are red. If Gary is blue then Gary is quiet. If Fiona is nice and Fiona is blue then Fiona is quiet. Young people are quiet. If someone is smart then they are young.
Gary is not nice.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((((triple6) -> rule8)) -> rule7) OR ((((triple2 triple3) -> rule1)) -> rule7))] Anne is red.[(triple5 OR ((triple3) -> rule2) OR ((triple3 ((triple6) -> rule8)) -> rule4) OR ((triple3 ((triple2 triple3) -> rule1)) -> rule4) OR ((triple3 ((((triple4) -> rule3)) -> rule8)) -> rule4))] Anne is smart.[(triple6 OR ((triple4) -> rule3) OR ((((((triple2 triple3) -> rule1)) -> rule7)) -> rule3))] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is quiet.[(triple9)] Fiona is furry.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12 OR ((triple11) -> rule2) OR ((triple11 ((triple10 triple11) -> rule1)) -> rule4))] Gary is blue.[(triple13)] Gary is nice.[(triple14)] Gary is young.[(triple15 OR ((((((triple13) -> rule5)) -> rule3)) -> rule8))] @1: Anne is young.[(((triple6) -> rule8) OR ((triple2 triple3) -> rule1) OR ((((triple4) -> rule3)) -> rule8))] Erin is smart.[(((triple9) -> rule3))] Fiona is young.[(((triple10 triple11) -> rule1))] Gary is quiet.[(((triple13) -> rule5) OR ((triple15) -> rule7))] Gary is red.[(((triple14) -> rule2) OR ((triple14 triple15) -> rule4) OR ((triple14 ((((((triple13) -> rule5)) -> rule3)) -> rule8)) -> rule4))] @2: Erin is young.[(((((triple9) -> rule3)) -> rule8))] Fiona is quiet.[(((((triple10 triple11) -> rule1)) -> rule7))] Gary is smart.[(((((triple13) -> rule5)) -> rule3) OR ((((triple15) -> rule7)) -> rule3))] @3: Fiona is smart.[(((((((triple10 triple11) -> rule1)) -> rule7)) -> rule3))]