Anne is red. Bob is rough. Charlie is quiet. If someone is young and furry then they are smart. All furry, quiet people are young. If someone is rough then they are red. If someone is smart and red then they are blue. All red, furry people are quiet. All young, blue people are furry. If Charlie is quiet and Charlie is rough then Charlie is furry. All rough people are furry.
Bob is rough.
@0: Anne is red.[(triple1)] Bob is rough.[(triple2)] Charlie is quiet.[(triple3)] @1: Bob is furry.[(((triple2) -> rule8))] Bob is red.[(((triple2) -> rule3))] @2: Bob is quiet.[(((((triple2) -> rule3) ((triple2) -> rule8)) -> rule5))] @3: Bob is young.[(((((triple2) -> rule8) ((((triple2) -> rule3) ((triple2) -> rule8)) -> rule5)) -> rule2))] @4: Bob is smart.[(((((((triple2) -> rule8) ((((triple2) -> rule3) ((triple2) -> rule8)) -> rule5)) -> rule2) ((triple2) -> rule8)) -> rule1))] @5: Bob is blue.[(((((((((triple2) -> rule8) ((((triple2) -> rule3) ((triple2) -> rule8)) -> rule5)) -> rule2) ((triple2) -> rule8)) -> rule1) ((triple2) -> rule3)) -> rule4))]