Anne is blue. Anne is cold. Anne is furry. Anne is quiet. Anne is rough. Bob is blue. Bob is not cold. Bob is furry. Bob is not green. Bob is quiet. Bob is not rough. Bob is smart. Cold things are rough. If something is blue and rough then it is smart. If Anne is rough and Anne is not blue then Anne is not furry.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5 OR ((triple2) -> rule1))] Bob is blue.[(triple6)] Bob is furry.[(triple8)] Bob is not cold.[(triple7)] Bob is not green.[(triple9)] Bob is not rough.[(triple11)] Bob is quiet.[(triple10)] Bob is smart.[(triple12)] @1: Anne is smart.[(((triple1 triple5) -> rule2) OR ((triple1 ((triple2) -> rule1)) -> rule2))]