Anne is quiet. Bob is rough. Round people are blue. If Anne is blue then Anne is smart. If someone is blue and smart then they are young. If someone is blue then they are round. Rough, round people are smart. If someone is green then they are rough. Green people are rough. Rough people are round.
Anne is rough.
@0: Anne is quiet.[(triple1)] Bob is rough.[(triple2)] @1: Bob is round.[(((triple2) -> rule8))] @2: Bob is blue.[(((((triple2) -> rule8)) -> rule1))] Bob is smart.[(((triple2 ((triple2) -> rule8)) -> rule5))] @3: Bob is young.[(((((((triple2) -> rule8)) -> rule1) ((triple2 ((triple2) -> rule8)) -> rule5)) -> rule3))]