Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is rough. Dave is white. Dave is young. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is rough. Harry is white. Harry is young. Young people are green. If Dave is young and Dave is green then Dave is cold. If someone is furry and cold then they are young. If someone is young and nice then they are cold. If someone is young and white then they are nice. Furry, rough people are young. If Dave is green and Dave is young then Dave is white. If Dave is green and Dave is young then Dave is nice.
Harry is not green.
@0: Dave is cold.[(triple1 OR ((triple7 triple3) -> rule2) OR ((triple7 triple4) -> rule4) OR ((triple7 ((triple7) -> rule1)) -> rule2) OR ((triple7 ((triple3 triple7) -> rule8)) -> rule4) OR ((triple7 ((triple7 triple6) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) triple3) -> rule2) OR ((((triple2 triple5) -> rule6) triple4) -> rule4) OR ((((triple2 triple5) -> rule6) ((triple7) -> rule1)) -> rule2) OR ((((triple2 triple5) -> rule6) ((triple3 triple7) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule6) ((triple7 triple6) -> rule5)) -> rule4) OR ((triple7 ((((triple2 triple5) -> rule6)) -> rule1)) -> rule2) OR ((triple7 ((triple3 ((triple2 triple5) -> rule6)) -> rule8)) -> rule4) OR ((triple7 ((triple7 ((triple3 triple7) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((((triple7) -> rule1) triple7) -> rule8)) -> rule4) OR ((triple7 ((((triple2 triple5) -> rule6) triple6) -> rule5)) -> rule4) OR ((triple7 ((((triple7) -> rule1) ((triple2 triple5) -> rule6)) -> rule8)) -> rule4) OR ((triple7 ((((triple2 triple5) -> rule6) ((triple3 triple7) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((triple2 triple5) -> rule6)) -> rule1)) -> rule2) OR ((((triple2 triple5) -> rule6) ((triple3 ((triple2 triple5) -> rule6)) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule6) ((triple7 ((triple3 triple7) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((triple7) -> rule1) triple7) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((triple2 triple5) -> rule6) triple6) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((triple7) -> rule1) ((triple2 triple5) -> rule6)) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((triple2 triple5) -> rule6) ((triple3 triple7) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((triple7 ((triple3 ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((triple7 ((((triple7) -> rule1) triple7) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((((((triple2 triple5) -> rule6)) -> rule1) triple7) -> rule8)) -> rule4) OR ((triple7 ((triple7 ((((triple7) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple5) -> rule6)) -> rule8)) -> rule4) OR ((triple7 ((((triple2 triple5) -> rule6) ((triple3 ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((((triple2 triple5) -> rule6) ((((triple7) -> rule1) triple7) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((triple7 ((triple3 ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((triple7 ((((triple7) -> rule1) triple7) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((((triple2 triple5) -> rule6)) -> rule1) triple7) -> rule8)) -> rule4) OR ((triple7 ((((triple2 triple5) -> rule6) ((((triple7) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((triple7 ((((triple7) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple5) -> rule6)) -> rule8)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((triple2 triple5) -> rule6) ((triple3 ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((triple2 triple5) -> rule6) ((((triple7) -> rule1) triple7) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((triple2 triple5) -> rule6) ((((triple7) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((triple7 ((((((triple2 triple5) -> rule6)) -> rule1) triple7) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((triple7 ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((((triple2 triple5) -> rule6) ((((((triple2 triple5) -> rule6)) -> rule1) triple7) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((triple7 ((((((triple2 triple5) -> rule6)) -> rule1) triple7) -> rule7)) -> rule5)) -> rule4) OR ((triple7 ((((triple2 triple5) -> rule6) ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((triple7 ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((triple2 triple5) -> rule6) ((((((triple2 triple5) -> rule6)) -> rule1) triple7) -> rule7)) -> rule5)) -> rule4) OR ((((triple2 triple5) -> rule6) ((((triple2 triple5) -> rule6) ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5)) -> rule4))] Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple7) -> rule1) OR ((((triple2 triple1) -> rule3)) -> rule1) OR ((((triple2 triple5) -> rule6)) -> rule1))] Dave is nice.[(triple4 OR ((triple3 triple7) -> rule8) OR ((triple7 triple6) -> rule5) OR ((triple3 ((triple2 triple1) -> rule3)) -> rule8) OR ((triple3 ((triple2 triple5) -> rule6)) -> rule8) OR ((triple7 ((triple3 triple7) -> rule7)) -> rule5) OR ((((triple7) -> rule1) triple7) -> rule8) OR ((((triple2 triple1) -> rule3) triple6) -> rule5) OR ((((triple2 triple5) -> rule6) triple6) -> rule5) OR ((((triple7) -> rule1) ((triple2 triple1) -> rule3)) -> rule8) OR ((((triple7) -> rule1) ((triple2 triple5) -> rule6)) -> rule8) OR ((((triple2 triple1) -> rule3) ((triple3 triple7) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((triple3 triple7) -> rule7)) -> rule5) OR ((triple7 ((triple3 ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((triple7 ((triple3 ((triple2 triple5) -> rule6)) -> rule7)) -> rule5) OR ((triple7 ((((triple7) -> rule1) triple7) -> rule7)) -> rule5) OR ((((((triple2 triple1) -> rule3)) -> rule1) triple7) -> rule8) OR ((((((triple2 triple5) -> rule6)) -> rule1) triple7) -> rule8) OR ((triple7 ((((triple7) -> rule1) ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((triple7 ((((triple7) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5) OR ((((((triple2 triple1) -> rule3)) -> rule1) ((triple2 triple1) -> rule3)) -> rule8) OR ((((((triple2 triple1) -> rule3)) -> rule1) ((triple2 triple5) -> rule6)) -> rule8) OR ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple1) -> rule3)) -> rule8) OR ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple5) -> rule6)) -> rule8) OR ((((triple2 triple1) -> rule3) ((triple3 ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((((triple2 triple1) -> rule3) ((triple3 ((triple2 triple5) -> rule6)) -> rule7)) -> rule5) OR ((((triple2 triple1) -> rule3) ((((triple7) -> rule1) triple7) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((triple3 ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((triple3 ((triple2 triple5) -> rule6)) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((((triple7) -> rule1) triple7) -> rule7)) -> rule5) OR ((((triple2 triple1) -> rule3) ((((triple7) -> rule1) ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((((triple2 triple1) -> rule3) ((((triple7) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((((triple7) -> rule1) ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((((triple7) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5) OR ((triple7 ((((((triple2 triple1) -> rule3)) -> rule1) triple7) -> rule7)) -> rule5) OR ((triple7 ((((((triple2 triple5) -> rule6)) -> rule1) triple7) -> rule7)) -> rule5) OR ((triple7 ((((((triple2 triple1) -> rule3)) -> rule1) ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((triple7 ((((((triple2 triple1) -> rule3)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5) OR ((triple7 ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((triple7 ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5) OR ((((triple2 triple1) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule1) triple7) -> rule7)) -> rule5) OR ((((triple2 triple1) -> rule3) ((((((triple2 triple5) -> rule6)) -> rule1) triple7) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((((((triple2 triple1) -> rule3)) -> rule1) triple7) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((((((triple2 triple5) -> rule6)) -> rule1) triple7) -> rule7)) -> rule5) OR ((((triple2 triple1) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule1) ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((((triple2 triple1) -> rule3) ((((((triple2 triple1) -> rule3)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5) OR ((((triple2 triple1) -> rule3) ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((((triple2 triple1) -> rule3) ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((((((triple2 triple1) -> rule3)) -> rule1) ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((((((triple2 triple1) -> rule3)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple1) -> rule3)) -> rule7)) -> rule5) OR ((((triple2 triple5) -> rule6) ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7)) -> rule5))] Dave is rough.[(triple5)] Dave is white.[(triple6 OR ((triple3 triple7) -> rule7) OR ((triple3 ((triple2 triple1) -> rule3)) -> rule7) OR ((triple3 ((triple2 triple5) -> rule6)) -> rule7) OR ((((triple7) -> rule1) triple7) -> rule7) OR ((((triple7) -> rule1) ((triple2 triple1) -> rule3)) -> rule7) OR ((((triple7) -> rule1) ((triple2 triple5) -> rule6)) -> rule7) OR ((((((triple2 triple1) -> rule3)) -> rule1) triple7) -> rule7) OR ((((((triple2 triple5) -> rule6)) -> rule1) triple7) -> rule7) OR ((((((triple2 triple1) -> rule3)) -> rule1) ((triple2 triple1) -> rule3)) -> rule7) OR ((((((triple2 triple1) -> rule3)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7) OR ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple1) -> rule3)) -> rule7) OR ((((((triple2 triple5) -> rule6)) -> rule1) ((triple2 triple5) -> rule6)) -> rule7))] Dave is young.[(triple7 OR ((triple2 triple1) -> rule3) OR ((triple2 triple5) -> rule6))] Harry is cold.[(triple8 OR ((triple14 triple11) -> rule4) OR ((triple14 ((triple14 triple13) -> rule5)) -> rule4) OR ((((triple9 triple12) -> rule6) triple11) -> rule4) OR ((((triple9 triple12) -> rule6) ((triple14 triple13) -> rule5)) -> rule4) OR ((triple14 ((((triple9 triple12) -> rule6) triple13) -> rule5)) -> rule4) OR ((((triple9 triple12) -> rule6) ((((triple9 triple12) -> rule6) triple13) -> rule5)) -> rule4))] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((triple14) -> rule1) OR ((((triple9 triple12) -> rule6)) -> rule1) OR ((((triple9 triple8) -> rule3)) -> rule1))] Harry is nice.[(triple11 OR ((triple14 triple13) -> rule5) OR ((((triple9 triple12) -> rule6) triple13) -> rule5) OR ((((triple9 triple8) -> rule3) triple13) -> rule5))] Harry is rough.[(triple12)] Harry is white.[(triple13)] Harry is young.[(triple14 OR ((triple9 triple12) -> rule6) OR ((triple9 triple8) -> rule3))]