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