Anne is furry. Bob is rough. Harry is round. If Bob is rough then Bob is round. Young things are quiet. If Bob is quiet and Bob is young then Bob is white. If something is young then it is cold. Round things are quiet. White things are cold. Round things are cold. If Bob is round then Bob is young.
Harry is round.
@0: Anne is furry.[(triple1)] Bob is rough.[(triple2)] Harry is round.[(triple3)] @1: Bob is round.[(((triple2) -> rule1))] Harry is cold.[(((triple3) -> rule7))] Harry is quiet.[(((triple3) -> rule5))] @2: Bob is cold.[(((((triple2) -> rule1)) -> rule7) OR ((((((triple2) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple2) -> rule1)) -> rule5) ((((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule1)) -> rule8)) -> rule2) ((((triple2) -> rule1)) -> rule8)) -> rule3)) -> rule6))] Bob is quiet.[(((((triple2) -> rule1)) -> rule5) OR ((((((triple2) -> rule1)) -> rule8)) -> rule2))] Bob is young.[(((((triple2) -> rule1)) -> rule8))] @3: Bob is white.[(((((((triple2) -> rule1)) -> rule5) ((((triple2) -> rule1)) -> rule8)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule8)) -> rule2) ((((triple2) -> rule1)) -> rule8)) -> rule3))]