Anne is furry. Anne is red. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is red. Big things are rough. All furry things are big. If Anne is furry and Anne is not rough then Anne is red.
Dave is rough.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Dave is big.[(triple3 OR ((triple6) -> rule2))] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Dave is red.[(triple7)] @1: Anne is big.[(((triple1) -> rule2))] Dave is rough.[(((triple3) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] @2: Anne is rough.[(((((triple1) -> rule2)) -> rule1))]