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