Dave is quiet. Dave is rough. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. All kind things are red. All green things are red. Rough things are green. If something is quiet and smart then it is rough. If Dave is green then Dave is cold. All kind, rough things are cold.
Dave is not smart.
@0: Dave is quiet.[(triple1)] Dave is rough.[(triple2)] Erin is green.[(triple3 OR ((triple6) -> rule3) OR ((((triple5 triple7) -> rule4)) -> rule3))] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6 OR ((triple5 triple7) -> rule4))] Erin is smart.[(triple7)] @1: Dave is green.[(((triple2) -> rule3))] Erin is cold.[(((triple4 triple6) -> rule6) OR ((triple4 ((triple5 triple7) -> rule4)) -> rule6))] Erin is red.[(((triple3) -> rule2) OR ((triple4) -> rule1) OR ((((triple6) -> rule3)) -> rule2) OR ((((((triple5 triple7) -> rule4)) -> rule3)) -> rule2))] @2: Dave is cold.[(((((triple2) -> rule3)) -> rule5))] Dave is red.[(((((triple2) -> rule3)) -> rule2))]