Bob is blue. Dave is big. If Bob is red and Bob is round then Bob is big. Blue things are rough. Rough things are nice. If something is big and rough then it is red. Round things are rough. Round things are rough. If something is big then it is nice. All rough, red things are round.
Bob is not round.
@0: Bob is blue.[(triple1)] Dave is big.[(triple2)] @1: Bob is rough.[(((triple1) -> rule2))] Dave is nice.[(((triple2) -> rule7))] @2: Bob is nice.[(((((triple1) -> rule2)) -> rule3))]