Charlie is cold. Charlie is green. Charlie is quiet. Charlie is smart. Dave is blue. Dave is cold. Dave is green. Dave is quiet. Dave is smart. Dave is young. If someone is cold and smart then they are round. All smart people are quiet. If someone is quiet and round then they are cold. If someone is blue then they are round. If someone is green and young then they are cold. If someone is cold then they are blue. If Dave is smart then Dave is blue. Blue people are quiet.
Dave is not smart.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3 OR ((triple4) -> rule2) OR ((((triple1) -> rule6)) -> rule8))] Charlie is smart.[(triple4)] Dave is blue.[(triple5 OR ((triple6) -> rule6) OR ((triple9) -> rule7) OR ((((triple7 triple10) -> rule5)) -> rule6))] Dave is cold.[(triple6 OR ((triple7 triple10) -> rule5) OR ((triple8 ((triple5) -> rule4)) -> rule3) OR ((((triple5) -> rule8) ((triple5) -> rule4)) -> rule3) OR ((((triple9) -> rule2) ((triple5) -> rule4)) -> rule3) OR ((triple8 ((((triple9) -> rule7)) -> rule4)) -> rule3) OR ((((triple5) -> rule8) ((((triple9) -> rule7)) -> rule4)) -> rule3) OR ((((triple9) -> rule2) ((((triple9) -> rule7)) -> rule4)) -> rule3) OR ((((((triple9) -> rule7)) -> rule8) ((triple5) -> rule4)) -> rule3) OR ((((((triple9) -> rule7)) -> rule8) ((((triple9) -> rule7)) -> rule4)) -> rule3))] Dave is green.[(triple7)] Dave is quiet.[(triple8 OR ((triple5) -> rule8) OR ((triple9) -> rule2) OR ((((triple6) -> rule6)) -> rule8) OR ((((triple9) -> rule7)) -> rule8) OR ((((((triple7 triple10) -> rule5)) -> rule6)) -> rule8))] Dave is smart.[(triple9)] Dave is young.[(triple10)] @1: Charlie is blue.[(((triple1) -> rule6))] Charlie is round.[(((triple1 triple4) -> rule1) OR ((((triple1) -> rule6)) -> rule4))] Dave is round.[(((triple5) -> rule4) OR ((triple6 triple9) -> rule1) OR ((((triple6) -> rule6)) -> rule4) OR ((((triple9) -> rule7)) -> rule4) OR ((((triple7 triple10) -> rule5) triple9) -> rule1) OR ((((((triple7 triple10) -> rule5)) -> rule6)) -> rule4))]