Bob is red. Fiona is blue. Fiona is kind. All red things are furry. Quiet, cold things are red. Cold things are furry. If something is furry then it is kind. All kind things are round. If Bob is blue and Bob is red then Bob is round.
Fiona is not blue.
@0: Bob is red.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple3)] @1: Bob is furry.[(((triple1) -> rule1))] Fiona is round.[(((triple3) -> rule5))] @2: Bob is kind.[(((((triple1) -> rule1)) -> rule4))] @3: Bob is round.[(((((((triple1) -> rule1)) -> rule4)) -> rule5))]