Erin is blue. Erin is cold. Erin is green. Erin is quiet. Erin is round. Erin is smart. Erin is young. Harry is green. Harry is quiet. Harry is young. If someone is young then they are smart. All quiet people are round. Young, cold people are green. If Erin is blue and Erin is cold then Erin is green. All blue people are quiet. If someone is cold and quiet then they are blue. Round people are young. Young, round people are cold.
Harry is smart.
@0: Erin is blue.[(triple1 OR ((triple2 triple4) -> rule6) OR ((((triple7 triple5) -> rule8) triple4) -> rule6) OR ((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) OR ((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) OR ((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) OR ((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) OR ((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6))] Erin is cold.[(triple2 OR ((triple7 triple5) -> rule8) OR ((triple7 ((triple4) -> rule2)) -> rule8) OR ((((triple5) -> rule7) triple5) -> rule8) OR ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8) OR ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) OR ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8) OR ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8))] Erin is green.[(triple3 OR ((triple1 triple2) -> rule4) OR ((triple7 triple2) -> rule3) OR ((triple1 ((triple7 triple5) -> rule8)) -> rule4) OR ((triple7 ((triple7 triple5) -> rule8)) -> rule3) OR ((((triple5) -> rule7) triple2) -> rule3) OR ((((triple2 triple4) -> rule6) triple2) -> rule4) OR ((((triple5) -> rule7) ((triple7 triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((triple1 ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((triple7 ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((triple7 ((((triple5) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) triple2) -> rule3) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((triple1 ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple7 ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((triple5) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((triple7 triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((triple5) -> rule7) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((triple5) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule7) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((triple7 ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((triple7 ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple2) -> rule3) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((triple1 ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple7 ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((triple7 ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple7 triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((triple1 ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((triple7 ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple5) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((triple2 triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((triple5) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((triple1 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((triple7 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((triple1 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((triple7 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) triple2) -> rule4) OR ((triple1 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((triple7 ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((triple5) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 triple5) -> rule8)) -> rule4) OR ((((triple5) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple4) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule3) OR ((((triple2 triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple4) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7 triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((triple7 ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple7 ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((triple5) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple5) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) triple5) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((triple4) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8)) -> rule4) OR ((((((((((triple4) -> rule2)) -> rule7) ((triple4) -> rule2)) -> rule8) triple4) -> rule6) ((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule8)) -> rule4))] Erin is quiet.[(triple4 OR ((triple1) -> rule5))] Erin is round.[(triple5 OR ((triple4) -> rule2) OR ((((triple1) -> rule5)) -> rule2))] Erin is smart.[(triple6 OR ((triple7) -> rule1) OR ((((triple5) -> rule7)) -> rule1) OR ((((((triple4) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule2)) -> rule7)) -> rule1))] Erin is young.[(triple7 OR ((triple5) -> rule7) OR ((((triple4) -> rule2)) -> rule7) OR ((((((triple1) -> rule5)) -> rule2)) -> rule7))] Harry is green.[(triple8 OR ((triple10 ((triple10 ((triple9) -> rule2)) -> rule8)) -> rule3) OR ((((((triple9) -> rule2)) -> rule7) ((triple10 ((triple9) -> rule2)) -> rule8)) -> rule3) OR ((triple10 ((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8)) -> rule3) OR ((((((triple9) -> rule2)) -> rule7) ((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8)) -> rule3))] Harry is quiet.[(triple9)] Harry is young.[(triple10 OR ((((triple9) -> rule2)) -> rule7))] @1: Harry is round.[(((triple9) -> rule2))] Harry is smart.[(((triple10) -> rule1) OR ((((((triple9) -> rule2)) -> rule7)) -> rule1))] @2: Harry is cold.[(((triple10 ((triple9) -> rule2)) -> rule8) OR ((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8))] @3: Harry is blue.[(((((triple10 ((triple9) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((((triple9) -> rule2)) -> rule7) ((triple9) -> rule2)) -> rule8) triple9) -> rule6))]