Bob is blue. If Bob is big and Bob is kind then Bob is furry. Kind, green people are furry. All blue people are furry. Green people are red. Green people are nice. If someone is red then they are nice. If Bob is nice then Bob is red. All red, nice people are furry.
Bob is blue.
@0: Bob is blue.[(triple1)] @1: Bob is furry.[(((triple1) -> rule3))]