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