Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is young. Bob is not big. Bob is cold. Dave is big. Dave is blue. Dave is not cold. Dave is green. Dave is nice. Dave is not rough. Dave is not young. Erin is nice. If something is rough and green then it is nice. If Bob is green and Bob is big then Bob is not blue. If something is blue and not cold then it is not rough. If something is cold and not big then it is not rough. Nice things are blue. If something is rough and not green then it is blue.
Bob is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple5) -> rule5))] Anne is cold.[(triple3)] Anne is green.[(triple4)] Anne is nice.[(triple5)] Anne is young.[(triple6)] Bob is cold.[(triple8)] Bob is not big.[(triple7)] Dave is big.[(triple9)] Dave is blue.[(triple10 OR ((triple13) -> rule5))] Dave is green.[(triple12)] Dave is nice.[(triple13)] Dave is not cold.[(triple11)] Dave is not rough.[(triple14 OR ((triple10 triple11) -> rule3) OR ((((triple13) -> rule5) triple11) -> rule3))] Dave is not young.[(triple15)] Erin is nice.[(triple16)] @1: Bob is not rough.[(((triple8 triple7) -> rule4))] Erin is blue.[(((triple16) -> rule5))]