Bob is big. All big, furry things are quiet. If Bob is young then Bob is round. All furry things are big. Furry, big things are cold. If Bob is cold then Bob is red. All big things are furry.
Bob is big.
@0: Bob is big.[(triple1)] @1: Bob is furry.[(((triple1) -> rule6))] @2: Bob is cold.[(((((triple1) -> rule6) triple1) -> rule4))] Bob is quiet.[(((triple1 ((triple1) -> rule6)) -> rule1))] @3: Bob is red.[(((((((triple1) -> rule6) triple1) -> rule4)) -> rule5))]