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