Bob is nice. Harry is red. Blue people are young. All big, blue people are young. All nice people are young. Young people are blue. All furry, blue people are red. If someone is big then they are furry.
Bob is blue.
@0: Bob is nice.[(triple1)] Harry is red.[(triple2)] @1: Bob is young.[(((triple1) -> rule3))] @2: Bob is blue.[(((((triple1) -> rule3)) -> rule4))]