Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is round. Harry is smart. Harry is white. White, smart people are furry. Nice, furry people are round. If someone is furry and smart then they are kind. Cold people are round. If someone is smart then they are cold. If someone is nice then they are cold. If someone is nice and smart then they are furry. If someone is white then they are smart.
Harry is kind.
@0: Harry is cold.[(triple1 OR ((triple4) -> rule6) OR ((triple6) -> rule5) OR ((((triple7) -> rule8)) -> rule5))] Harry is furry.[(triple2 OR ((triple4 triple6) -> rule7) OR ((triple7 triple6) -> rule1) OR ((triple4 ((triple7) -> rule8)) -> rule7) OR ((triple7 ((triple7) -> rule8)) -> rule1))] Harry is kind.[(triple3 OR ((triple2 triple6) -> rule3) OR ((triple2 ((triple7) -> rule8)) -> rule3) OR ((((triple4 triple6) -> rule7) triple6) -> rule3) OR ((((triple7 triple6) -> rule1) triple6) -> rule3) OR ((((triple4 triple6) -> rule7) ((triple7) -> rule8)) -> rule3) OR ((((triple7 triple6) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((((triple4 ((triple7) -> rule8)) -> rule7) triple6) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule1) triple6) -> rule3) OR ((((triple4 ((triple7) -> rule8)) -> rule7) ((triple7) -> rule8)) -> rule3) OR ((((triple7 ((triple7) -> rule8)) -> rule1) ((triple7) -> rule8)) -> rule3))] Harry is nice.[(triple4)] Harry is round.[(triple5 OR ((triple1) -> rule4) OR ((triple4 triple2) -> rule2) OR ((((triple4) -> rule6)) -> rule4) OR ((((triple6) -> rule5)) -> rule4) OR ((triple4 ((triple4 triple6) -> rule7)) -> rule2) OR ((triple4 ((triple7 triple6) -> rule1)) -> rule2) OR ((((((triple7) -> rule8)) -> rule5)) -> rule4) OR ((triple4 ((triple4 ((triple7) -> rule8)) -> rule7)) -> rule2) OR ((triple4 ((triple7 ((triple7) -> rule8)) -> rule1)) -> rule2))] Harry is smart.[(triple6 OR ((triple7) -> rule8))] Harry is white.[(triple7)]