Anne is not big. Anne is blue. Anne is cold. Anne is kind. Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is not kind. Bob is rough. If someone is blue and furry then they are cold. If someone is smart and blue then they are cold. If someone is cold and not furry then they are smart. If Anne is kind and Anne is furry then Anne is big. If Bob is blue then Bob is rough. Smart people are kind. If someone is rough and not blue then they are not big. If someone is blue and not cold then they are not rough.
Anne is not smart.
@0: Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is kind.[(triple4)] Anne is not big.[(triple1)] Bob is big.[(triple5)] Bob is blue.[(triple6)] Bob is cold.[(triple7 OR ((triple6 triple8) -> rule1))] Bob is furry.[(triple8)] Bob is not kind.[(triple9)] Bob is rough.[(triple10 OR ((triple6) -> rule5))]