Bob is cold. Bob is furry. Fiona is furry. Cold people are round. Round people are furry. If someone is big then they are furry.
Bob is white.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((((triple1) -> rule1)) -> rule2))] Fiona is furry.[(triple3)] @1: Bob is round.[(((triple1) -> rule1))]