The cat likes the lion. The lion is red. The tiger is green. If someone is young and they see the tiger then the tiger likes the cat. If someone is red then they are big. All big people are round.
The cat is not round.
@0: The cat likes the lion.[(triple1)] The lion is red.[(triple2)] The tiger is green.[(triple3)] @1: The lion is big.[(((triple2) -> rule2))] @2: The lion is round.[(((((triple2) -> rule2)) -> rule3))]