Anne is big. Anne is white. Bob is blue. Bob is quiet. Bob is red. Bob is rough. Harry is rough. All white people are rough. All rough, blue people are red. If Anne is red and Anne is not blue then Anne is quiet. White, furry people are big. If Anne is white and Anne is rough then Anne is not furry. If Bob is red and Bob is furry then Bob is white.
Anne is rough.
@0: Anne is big.[(triple1)] Anne is white.[(triple2)] Bob is blue.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple6 triple3) -> rule2))] Bob is rough.[(triple6)] Harry is rough.[(triple7)] @1: Anne is rough.[(((triple2) -> rule1))] @2: Anne is not furry.[(((triple2 ((triple2) -> rule1)) -> rule5))]