Dave is blue. Dave is cold. Dave is green. Dave is nice. Dave is rough. Dave is smart. Dave is white. White, cold people are smart. If someone is rough and blue then they are nice. If someone is white then they are nice. If someone is smart then they are blue. Cold people are green. White people are cold. If someone is cold then they are white. All rough, blue people are cold.
Dave is not smart.
@0: Dave is blue.[(triple1 OR ((triple6) -> rule4) OR ((((triple7 triple2) -> rule1)) -> rule4) OR ((((triple7 ((triple7) -> rule6)) -> rule1)) -> rule4) OR ((((((triple2) -> rule7) triple2) -> rule1)) -> rule4) OR ((((((triple2) -> rule7) ((triple7) -> rule6)) -> rule1)) -> rule4))] Dave is cold.[(triple2 OR ((triple7) -> rule6) OR ((triple5 triple1) -> rule8) OR ((triple5 ((triple6) -> rule4)) -> rule8))] Dave is green.[(triple3 OR ((triple2) -> rule5) OR ((((triple7) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule8)) -> rule5) OR ((((triple5 ((triple6) -> rule4)) -> rule8)) -> rule5))] Dave is nice.[(triple4 OR ((triple7) -> rule3) OR ((triple5 triple1) -> rule2) OR ((((triple2) -> rule7)) -> rule3) OR ((triple5 ((triple6) -> rule4)) -> rule2) OR ((((((triple5 triple1) -> rule8)) -> rule7)) -> rule3) OR ((triple5 ((((triple7 triple2) -> rule1)) -> rule4)) -> rule2) OR ((((((triple5 ((triple6) -> rule4)) -> rule8)) -> rule7)) -> rule3) OR ((triple5 ((((triple7 ((triple7) -> rule6)) -> rule1)) -> rule4)) -> rule2) OR ((triple5 ((((((triple2) -> rule7) triple2) -> rule1)) -> rule4)) -> rule2) OR ((triple5 ((((((triple2) -> rule7) ((triple7) -> rule6)) -> rule1)) -> rule4)) -> rule2))] Dave is rough.[(triple5)] Dave is smart.[(triple6 OR ((triple7 triple2) -> rule1) OR ((triple7 ((triple7) -> rule6)) -> rule1) OR ((triple7 ((triple5 triple1) -> rule8)) -> rule1) OR ((((triple2) -> rule7) triple2) -> rule1) OR ((((triple2) -> rule7) ((triple7) -> rule6)) -> rule1) OR ((((triple2) -> rule7) ((triple5 triple1) -> rule8)) -> rule1) OR ((((((triple5 triple1) -> rule8)) -> rule7) triple2) -> rule1) OR ((((((triple5 triple1) -> rule8)) -> rule7) ((triple7) -> rule6)) -> rule1) OR ((((((triple5 triple1) -> rule8)) -> rule7) ((triple5 triple1) -> rule8)) -> rule1))] Dave is white.[(triple7 OR ((triple2) -> rule7) OR ((((triple5 triple1) -> rule8)) -> rule7) OR ((((triple5 ((triple6) -> rule4)) -> rule8)) -> rule7))]