Anne is big. Anne is cold. Anne is not green. Anne is red. Anne is round. Anne is white. Bob is big. Bob is cold. Bob is green. Bob is rough. Dave is big. Dave is not cold. Dave is green. Dave is not round. Harry is not green. Cold people are red. All cold people are red. If someone is big and not rough then they are white. If Anne is not cold then Anne is not big. If Harry is rough and Harry is not white then Harry is green. If someone is red and not white then they are green.
Bob is not white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not green.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule1) OR ((triple2) -> rule2))] Anne is round.[(triple5)] Anne is white.[(triple6)] Bob is big.[(triple7)] Bob is cold.[(triple8)] Bob is green.[(triple9)] Bob is rough.[(triple10)] Dave is big.[(triple11)] Dave is green.[(triple13)] Dave is not cold.[(triple12)] Dave is not round.[(triple14)] Harry is not green.[(triple15)] @1: Bob is red.[(((triple8) -> rule1) OR ((triple8) -> rule2))]