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