Bob is green. Bob is kind. Bob is nice. Bob is red. Bob is smart. Charlie is blue. Charlie is cold. Dave is blue. Dave is kind. Dave is nice. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is smart. All blue things are green. All nice things are blue. If something is nice then it is smart. If Charlie is nice and Charlie is blue then Charlie is red. All nice things are green. If something is red and cold then it is nice.
Charlie is not nice.
@0: Bob is green.[(triple1 OR ((triple3) -> rule5) OR ((((triple3) -> rule2)) -> rule1))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5 OR ((triple3) -> rule3))] Charlie is blue.[(triple6)] Charlie is cold.[(triple7)] Dave is blue.[(triple8 OR ((triple10) -> rule2))] Dave is kind.[(triple9)] Dave is nice.[(triple10)] Erin is blue.[(triple11 OR ((triple15) -> rule2))] Erin is cold.[(triple12)] Erin is green.[(triple13 OR ((triple11) -> rule1) OR ((triple15) -> rule5) OR ((((triple15) -> rule2)) -> rule1))] Erin is kind.[(triple14)] Erin is nice.[(triple15)] Erin is smart.[(triple16 OR ((triple15) -> rule3))] @1: Bob is blue.[(((triple3) -> rule2))] Charlie is green.[(((triple6) -> rule1))] Dave is green.[(((triple10) -> rule5) OR ((triple8) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Dave is smart.[(((triple10) -> rule3))]