Anne is round. Anne is young. Erin is cold. Erin is kind. Erin is quiet. Erin is round. Erin is smart. Erin is white. Erin is young. Gary is smart. Harry is quiet. Harry is young. If someone is white and quiet then they are smart. If someone is smart and cold then they are round. If someone is kind then they are white. Young people are quiet. Quiet, smart people are round. Kind, quiet people are round. If someone is smart then they are kind. If someone is kind then they are young. All round, white people are cold.
Anne is quiet.
@0: Anne is round.[(triple1)] Anne is young.[(triple2)] Erin is cold.[(triple3 OR ((triple6 triple8) -> rule9) OR ((triple6 ((triple4) -> rule3)) -> rule9) OR ((((triple4 triple5) -> rule6) triple8) -> rule9) OR ((((triple5 triple7) -> rule5) triple8) -> rule9) OR ((((triple4 triple5) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((triple5 triple7) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((triple6 ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple4 ((triple9) -> rule4)) -> rule6) triple8) -> rule9) OR ((((triple5 ((triple8 triple5) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((triple7) -> rule7) triple5) -> rule6) triple8) -> rule9) OR ((((((triple9) -> rule4) triple7) -> rule5) triple8) -> rule9) OR ((((triple4 triple5) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple4 ((triple9) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((triple5 triple7) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple5 ((triple8 triple5) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((triple7) -> rule7) triple5) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((triple7) -> rule7) ((triple9) -> rule4)) -> rule6) triple8) -> rule9) OR ((((((triple9) -> rule4) triple7) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) triple8) -> rule9) OR ((((triple4 ((triple9) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple5 ((triple8 triple5) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((triple7) -> rule7) triple5) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((triple7) -> rule7) ((triple9) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) triple7) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((triple7) -> rule7) ((triple9) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple4 ((((triple4) -> rule8)) -> rule4)) -> rule6) triple8) -> rule9) OR ((((triple5 ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((triple5 ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) triple7) -> rule5) triple8) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) triple5) -> rule6) triple8) -> rule9) OR ((((triple4 ((((triple4) -> rule8)) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((triple5 ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((triple5 ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((triple5 ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((triple7) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) triple8) -> rule9) OR ((((((triple9) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((triple9) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) triple7) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) triple5) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) ((triple9) -> rule4)) -> rule6) triple8) -> rule9) OR ((((triple4 ((((triple4) -> rule8)) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple5 ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple5 ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple5 ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((triple7) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) triple7) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) triple5) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) ((triple9) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) triple8) -> rule9) OR ((((triple5 ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((triple7) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) ((triple9) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple4 ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) triple8) -> rule9) OR ((((triple5 ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) triple7) -> rule5) triple8) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) triple5) -> rule6) triple8) -> rule9) OR ((((triple4 ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((triple5 ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((triple5 ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((triple7) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) triple8) -> rule9) OR ((((((triple9) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) triple7) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) triple5) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((triple9) -> rule4)) -> rule6) triple8) -> rule9) OR ((((triple4 ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple5 ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((triple5 ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((triple7) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) triple7) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) triple8) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) triple5) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((triple9) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) triple8) -> rule9) OR ((((triple5 ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((triple7) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((triple9) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((triple9) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) triple8) -> rule9) OR ((((((triple9) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) triple8) -> rule9) OR ((((((((triple8 triple5) -> rule1)) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) ((triple4) -> rule3)) -> rule9) OR ((((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((triple4) -> rule3)) -> rule9) OR ((((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) ((((triple7) -> rule7)) -> rule3)) -> rule9) OR ((((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) ((((triple7) -> rule7)) -> rule3)) -> rule9))] Erin is kind.[(triple4 OR ((triple7) -> rule7) OR ((((triple8 triple5) -> rule1)) -> rule7) OR ((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7))] Erin is quiet.[(triple5 OR ((triple9) -> rule4) OR ((((triple4) -> rule8)) -> rule4) OR ((((((triple7) -> rule7)) -> rule8)) -> rule4))] Erin is round.[(triple6 OR ((triple4 triple5) -> rule6) OR ((triple5 triple7) -> rule5) OR ((triple7 triple3) -> rule2) OR ((triple4 ((triple9) -> rule4)) -> rule6) OR ((triple5 ((triple8 triple5) -> rule1)) -> rule5) OR ((((triple7) -> rule7) triple5) -> rule6) OR ((((triple9) -> rule4) triple7) -> rule5) OR ((((triple8 triple5) -> rule1) triple3) -> rule2) OR ((((triple7) -> rule7) ((triple9) -> rule4)) -> rule6) OR ((((triple9) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) OR ((triple4 ((((triple4) -> rule8)) -> rule4)) -> rule6) OR ((triple5 ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) OR ((triple5 ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) OR ((((((triple4) -> rule8)) -> rule4) triple7) -> rule5) OR ((((((triple8 triple5) -> rule1)) -> rule7) triple5) -> rule6) OR ((((triple8 ((triple9) -> rule4)) -> rule1) triple3) -> rule2) OR ((((((triple4) -> rule3) triple5) -> rule1) triple3) -> rule2) OR ((triple5 ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) OR ((((triple7) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) OR ((((triple9) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) OR ((((triple9) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) OR ((((((triple4) -> rule8)) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) OR ((((((triple8 triple5) -> rule1)) -> rule7) ((triple9) -> rule4)) -> rule6) OR ((((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1) triple3) -> rule2) OR ((((triple9) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) OR ((((((triple4) -> rule8)) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) OR ((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) OR ((((((triple8 triple5) -> rule1)) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) OR ((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) OR ((triple4 ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) OR ((triple5 ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule4) triple7) -> rule5) OR ((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) triple5) -> rule6) OR ((((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1) triple3) -> rule2) OR ((triple5 ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) OR ((((triple7) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) OR ((((triple9) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 triple5) -> rule1)) -> rule5) OR ((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((triple9) -> rule4)) -> rule6) OR ((((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1) triple3) -> rule2) OR ((((triple9) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) OR ((((((triple4) -> rule8)) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 ((triple9) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) triple5) -> rule1)) -> rule5) OR ((((((triple8 triple5) -> rule1)) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) OR ((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((((triple4) -> rule8)) -> rule4)) -> rule6) OR ((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1)) -> rule5) OR ((((((triple8 ((triple9) -> rule4)) -> rule1)) -> rule7) ((((((triple7) -> rule7)) -> rule8)) -> rule4)) -> rule6) OR ((((((((triple7) -> rule7)) -> rule8)) -> rule4) ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1)) -> rule5))] Erin is smart.[(triple7 OR ((triple8 triple5) -> rule1) OR ((triple8 ((triple9) -> rule4)) -> rule1) OR ((((triple4) -> rule3) triple5) -> rule1) OR ((((triple4) -> rule3) ((triple9) -> rule4)) -> rule1) OR ((triple8 ((((triple4) -> rule8)) -> rule4)) -> rule1) OR ((((triple4) -> rule3) ((((triple4) -> rule8)) -> rule4)) -> rule1))] Erin is white.[(triple8 OR ((triple4) -> rule3) OR ((((triple7) -> rule7)) -> rule3))] Erin is young.[(triple9 OR ((triple4) -> rule8) OR ((((triple7) -> rule7)) -> rule8) OR ((((((triple8 triple5) -> rule1)) -> rule7)) -> rule8))] Gary is smart.[(triple10)] Harry is quiet.[(triple11 OR ((triple12) -> rule4))] Harry is young.[(triple12)] @1: Anne is quiet.[(((triple2) -> rule4))] Gary is kind.[(((triple10) -> rule7))] @2: Gary is white.[(((((triple10) -> rule7)) -> rule3))] Gary is young.[(((((triple10) -> rule7)) -> rule8))] @3: Gary is quiet.[(((((((triple10) -> rule7)) -> rule8)) -> rule4))] @4: Gary is round.[(((((((((triple10) -> rule7)) -> rule8)) -> rule4) triple10) -> rule5) OR ((((triple10) -> rule7) ((((((triple10) -> rule7)) -> rule8)) -> rule4)) -> rule6))] @5: Gary is cold.[(((((((((((triple10) -> rule7)) -> rule8)) -> rule4) triple10) -> rule5) ((((triple10) -> rule7)) -> rule3)) -> rule9) OR ((((((triple10) -> rule7) ((((((triple10) -> rule7)) -> rule8)) -> rule4)) -> rule6) ((((triple10) -> rule7)) -> rule3)) -> rule9))]