Bob is furry. All cold people are white. If Bob is white then Bob is big. If someone is white then they are cold. All white, quiet people are green. If someone is green then they are cold. If someone is furry then they are cold. Green, furry people are quiet. All green people are quiet.
Bob is not big.
@0: Bob is furry.[(triple1)] @1: Bob is cold.[(((triple1) -> rule6))] @2: Bob is white.[(((((triple1) -> rule6)) -> rule1))] @3: Bob is big.[(((((((triple1) -> rule6)) -> rule1)) -> rule2))]