Anne is blue. Anne is cold. Anne is kind. Anne is not rough. Anne is round. Anne is white. Bob is not big. Bob is blue. Bob is rough. Dave is not blue. Dave is cold. Dave is kind. Dave is round. Fiona is not cold. Fiona is kind. All rough things are not round. If Bob is kind then Bob is not rough. If something is kind and not rough then it is cold.
Bob is not cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple3 triple4) -> rule3))] Anne is kind.[(triple3)] Anne is not rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Bob is blue.[(triple8)] Bob is not big.[(triple7)] Bob is rough.[(triple9)] Dave is cold.[(triple11)] Dave is kind.[(triple12)] Dave is not blue.[(triple10)] Dave is round.[(triple13)] Fiona is kind.[(triple15)] Fiona is not cold.[(triple14)] @1: Bob is not round.[(((triple9) -> rule1))]