Dave is blue. Erin is red. Erin is round. Erin is smart. Erin is white. Fiona is rough. Fiona is round. Harry is red. Harry is rough. Harry is smart. All smart, round people are blue. If Fiona is round then Fiona is red. If someone is red then they are young. If Harry is young and Harry is round then Harry is rough. If someone is young and smart then they are blue. White people are smart. Young people are round. If someone is young then they are white.
Erin is not rough.
@0: Dave is blue.[(triple1)] Erin is red.[(triple2)] Erin is round.[(triple3 OR ((((triple2) -> rule3)) -> rule7))] Erin is smart.[(triple4 OR ((triple5) -> rule6) OR ((((((triple2) -> rule3)) -> rule8)) -> rule6))] Erin is white.[(triple5 OR ((((triple2) -> rule3)) -> rule8))] Fiona is rough.[(triple6)] Fiona is round.[(triple7)] Harry is red.[(triple8)] Harry is rough.[(triple9 OR ((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule7)) -> rule4))] Harry is smart.[(triple10 OR ((((((triple8) -> rule3)) -> rule8)) -> rule6))] @1: Erin is blue.[(((triple4 triple3) -> rule1) OR ((((triple2) -> rule3) triple4) -> rule5) OR ((((triple5) -> rule6) triple3) -> rule1) OR ((((triple2) -> rule3) ((triple5) -> rule6)) -> rule5) OR ((triple4 ((((triple2) -> rule3)) -> rule7)) -> rule1) OR ((((triple5) -> rule6) ((((triple2) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule6) triple3) -> rule1) OR ((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule8)) -> rule6)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule8)) -> rule6) ((((triple2) -> rule3)) -> rule7)) -> rule1))] Erin is young.[(((triple2) -> rule3))] Fiona is red.[(((triple7) -> rule2))] Harry is young.[(((triple8) -> rule3))] @2: Fiona is young.[(((((triple7) -> rule2)) -> rule3))] Harry is blue.[(((((triple8) -> rule3) triple10) -> rule5) OR ((triple10 ((((triple8) -> rule3)) -> rule7)) -> rule1) OR ((((triple8) -> rule3) ((((((triple8) -> rule3)) -> rule8)) -> rule6)) -> rule5) OR ((((((((triple8) -> rule3)) -> rule8)) -> rule6) ((((triple8) -> rule3)) -> rule7)) -> rule1))] Harry is round.[(((((triple8) -> rule3)) -> rule7))] Harry is white.[(((((triple8) -> rule3)) -> rule8))] @3: Fiona is white.[(((((((triple7) -> rule2)) -> rule3)) -> rule8))] @4: Fiona is smart.[(((((((((triple7) -> rule2)) -> rule3)) -> rule8)) -> rule6))] @5: Fiona is blue.[(((((((((((triple7) -> rule2)) -> rule3)) -> rule8)) -> rule6) triple7) -> rule1) OR ((((((triple7) -> rule2)) -> rule3) ((((((((triple7) -> rule2)) -> rule3)) -> rule8)) -> rule6)) -> rule5))]