Anne is smart. Bob is green. Bob is red. Bob is smart. Dave is cold. Dave is white. Dave is young. All white people are smart. Cold, young people are white. All rough people are white. All white, smart people are rough. If someone is rough and white then they are red. Green, young people are red. If someone is smart then they are green. If someone is white and rough then they are young.
Dave is rough.
@0: Anne is smart.[(triple1)] Bob is green.[(triple2 OR ((triple4) -> rule7))] Bob is red.[(triple3)] Bob is smart.[(triple4)] Dave is cold.[(triple5)] Dave is white.[(triple6 OR ((triple5 triple7) -> rule2))] Dave is young.[(triple7 OR ((triple6 ((triple6 ((triple6) -> rule1)) -> rule4)) -> rule8))] @1: Anne is green.[(((triple1) -> rule7))] Dave is smart.[(((triple6) -> rule1) OR ((((triple5 triple7) -> rule2)) -> rule1))] @2: Dave is green.[(((((triple6) -> rule1)) -> rule7) OR ((((((triple5 triple7) -> rule2)) -> rule1)) -> rule7))] Dave is rough.[(((triple6 ((triple6) -> rule1)) -> rule4) OR ((((triple5 triple7) -> rule2) ((triple6) -> rule1)) -> rule4) OR ((triple6 ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) OR ((((triple5 triple7) -> rule2) ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4))] @3: Dave is red.[(((((((triple6) -> rule1)) -> rule7) triple7) -> rule6) OR ((((triple6 ((triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple6 ((triple6) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple7) -> rule2) ((triple6) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple5 triple7) -> rule2) ((triple6) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((((triple5 triple7) -> rule2)) -> rule1)) -> rule7) triple7) -> rule6) OR ((((triple6 ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) triple6) -> rule5) OR ((((triple6 ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((triple5 triple7) -> rule2) ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) triple6) -> rule5) OR ((((((triple6) -> rule1)) -> rule7) ((triple6 ((triple6 ((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple5 triple7) -> rule2) ((((triple5 triple7) -> rule2)) -> rule1)) -> rule4) ((triple5 triple7) -> rule2)) -> rule5) OR ((((((((triple5 triple7) -> rule2)) -> rule1)) -> rule7) ((triple6 ((triple6 ((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6))]