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