Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is smart. Dave is white. Harry is blue. Harry is furry. Harry is green. Harry is kind. Harry is red. Harry is smart. Harry is white. Smart, white people are furry. All smart people are red. Smart, furry people are white. If someone is blue and furry then they are kind. All blue people are smart. All furry people are blue. All smart, red people are green. If Dave is green and Dave is smart then Dave is white.
Dave is furry.
@0: Dave is blue.[(triple1 OR ((triple2) -> rule6) OR ((((triple6 triple7) -> rule1)) -> rule6) OR ((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) OR ((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) OR ((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6))] Dave is furry.[(triple2 OR ((triple6 triple7) -> rule1) OR ((triple6 ((triple3 triple6) -> rule8)) -> rule1) OR ((((triple1) -> rule5) triple7) -> rule1) OR ((((triple1) -> rule5) ((triple3 triple6) -> rule8)) -> rule1) OR ((triple6 ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1) OR ((triple6 ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1) OR ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1) OR ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1) OR ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1) OR ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1) OR ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1))] Dave is green.[(triple3 OR ((triple6 triple5) -> rule7) OR ((triple6 ((triple6) -> rule2)) -> rule7) OR ((((triple1) -> rule5) triple5) -> rule7) OR ((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) OR ((((((triple2) -> rule6)) -> rule5) triple5) -> rule7) OR ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) OR ((((((triple2) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((triple2) -> rule6)) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) OR ((triple6 ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7) OR ((((triple1) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7) OR ((((((triple2) -> rule6)) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7))] Dave is kind.[(triple4 OR ((triple1 triple2) -> rule4) OR ((triple1 ((triple6 triple7) -> rule1)) -> rule4) OR ((((triple2) -> rule6) triple2) -> rule4) OR ((((triple2) -> rule6) ((triple6 triple7) -> rule1)) -> rule4) OR ((triple1 ((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) triple7) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) triple2) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) triple7) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 triple7) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) triple7) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((triple6 ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) triple2) -> rule4) OR ((triple1 ((triple6 ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 triple7) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) triple7) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) triple2) -> rule4) OR ((triple1 ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 triple7) -> rule1)) -> rule4) OR ((triple1 ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) triple7) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) triple2) -> rule4) OR ((triple1 ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 triple7) -> rule1)) -> rule4) OR ((triple1 ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) triple7) -> rule1)) -> rule4) OR ((triple1 ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((triple3 triple6) -> rule8)) -> rule1)) -> rule4) OR ((((triple2) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((triple3 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 triple7) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((triple3 triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 triple5) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((triple6 ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule4) OR ((((((triple6 ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8)) -> rule1)) -> rule6) ((((triple1) -> rule5) ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule4))] Dave is red.[(triple5 OR ((triple6) -> rule2) OR ((((triple1) -> rule5)) -> rule2) OR ((((((triple2) -> rule6)) -> rule5)) -> rule2))] Dave is smart.[(triple6 OR ((triple1) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] Dave is white.[(triple7 OR ((triple3 triple6) -> rule8) OR ((triple6 triple2) -> rule3) OR ((triple3 ((triple1) -> rule5)) -> rule8) OR ((((triple1) -> rule5) triple2) -> rule3) OR ((((triple6 triple5) -> rule7) triple6) -> rule8) OR ((((triple6 triple5) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((triple3 ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((((triple2) -> rule6)) -> rule5) triple2) -> rule3) OR ((((triple6 ((triple6) -> rule2)) -> rule7) triple6) -> rule8) OR ((((((triple1) -> rule5) triple5) -> rule7) triple6) -> rule8) OR ((((triple6 triple5) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((triple6 ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8) OR ((((triple6 ((triple6) -> rule2)) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((((triple1) -> rule5) triple5) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5) ((triple6) -> rule2)) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) triple5) -> rule7) triple6) -> rule8) OR ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) triple5) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) triple6) -> rule8) OR ((((triple6 ((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) triple5) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8) OR ((((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) ((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((triple6 ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8) OR ((((triple6 ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8) OR ((((triple6 ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((((triple1) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7) triple6) -> rule8) OR ((((((triple1) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((((triple2) -> rule6)) -> rule5) ((((((triple2) -> rule6)) -> rule5)) -> rule2)) -> rule7) ((((triple2) -> rule6)) -> rule5)) -> rule8))] Harry is blue.[(triple8 OR ((triple9) -> rule6) OR ((((triple13 triple14) -> rule1)) -> rule6))] Harry is furry.[(triple9 OR ((triple13 triple14) -> rule1) OR ((((triple8) -> rule5) triple14) -> rule1))] Harry is green.[(triple10 OR ((triple13 triple12) -> rule7) OR ((triple13 ((triple13) -> rule2)) -> rule7) OR ((((triple8) -> rule5) triple12) -> rule7) OR ((((triple8) -> rule5) ((triple13) -> rule2)) -> rule7) OR ((triple13 ((((triple8) -> rule5)) -> rule2)) -> rule7) OR ((((((triple9) -> rule6)) -> rule5) triple12) -> rule7) OR ((((triple8) -> rule5) ((((triple8) -> rule5)) -> rule2)) -> rule7) OR ((((((triple9) -> rule6)) -> rule5) ((triple13) -> rule2)) -> rule7) OR ((((((triple9) -> rule6)) -> rule5) ((((triple8) -> rule5)) -> rule2)) -> rule7) OR ((triple13 ((((((triple9) -> rule6)) -> rule5)) -> rule2)) -> rule7) OR ((((triple8) -> rule5) ((((((triple9) -> rule6)) -> rule5)) -> rule2)) -> rule7) OR ((((((triple9) -> rule6)) -> rule5) ((((((triple9) -> rule6)) -> rule5)) -> rule2)) -> rule7))] Harry is kind.[(triple11 OR ((triple8 triple9) -> rule4) OR ((triple8 ((triple13 triple14) -> rule1)) -> rule4) OR ((((triple9) -> rule6) triple9) -> rule4) OR ((((triple9) -> rule6) ((triple13 triple14) -> rule1)) -> rule4) OR ((triple8 ((((triple8) -> rule5) triple14) -> rule1)) -> rule4) OR ((((((triple13 triple14) -> rule1)) -> rule6) triple9) -> rule4) OR ((((triple9) -> rule6) ((((triple8) -> rule5) triple14) -> rule1)) -> rule4) OR ((((((triple13 triple14) -> rule1)) -> rule6) ((triple13 triple14) -> rule1)) -> rule4) OR ((((((triple13 triple14) -> rule1)) -> rule6) ((((triple8) -> rule5) triple14) -> rule1)) -> rule4))] Harry is red.[(triple12 OR ((triple13) -> rule2) OR ((((triple8) -> rule5)) -> rule2) OR ((((((triple9) -> rule6)) -> rule5)) -> rule2))] Harry is smart.[(triple13 OR ((triple8) -> rule5) OR ((((triple9) -> rule6)) -> rule5))] Harry is white.[(triple14 OR ((triple13 triple9) -> rule3) OR ((((triple8) -> rule5) triple9) -> rule3) OR ((((((triple9) -> rule6)) -> rule5) triple9) -> rule3))]