Bob is cold. Charlie is furry. Harry is round. If something is kind then it is big. Cold things are quiet. If something is cold then it is kind. Furry things are round. If something is big then it is round. Kind things are furry.
Bob is furry.
@0: Bob is cold.[(triple1)] Charlie is furry.[(triple2)] Harry is round.[(triple3)] @1: Bob is kind.[(((triple1) -> rule3))] Bob is quiet.[(((triple1) -> rule2))] Charlie is round.[(((triple2) -> rule4))] @2: Bob is big.[(((((triple1) -> rule3)) -> rule1))] Bob is furry.[(((((triple1) -> rule3)) -> rule6))] @3: Bob is round.[(((((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((triple1) -> rule3)) -> rule6)) -> rule4))]