Bob is cold. Bob is kind. Bob is nice. Dave is not blue. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is smart. Fiona is kind. Fiona is not smart. Harry is blue. All kind, green things are smart. Blue, nice things are smart. If something is kind and nice then it is cold. All kind things are cold. All red, smart things are green. Smart things are not red. If Bob is nice and Bob is green then Bob is red. If Bob is red then Bob is not kind.
Bob is not nice.
@0: Bob is cold.[(triple1 OR ((triple2) -> rule4) OR ((triple2 triple3) -> rule3))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Dave is cold.[(triple5 OR ((triple7) -> rule4) OR ((triple7 triple8) -> rule3))] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is nice.[(triple8)] Dave is not blue.[(triple4)] Dave is smart.[(triple9 OR ((triple7 triple6) -> rule1))] Fiona is kind.[(triple10)] Fiona is not smart.[(triple11)] Harry is blue.[(triple12)] @1: Dave is not red.[(((triple9) -> rule6) OR ((((triple7 triple6) -> rule1)) -> rule6))] Fiona is cold.[(((triple10) -> rule4))]