The cat is blue. The cow sees the lion. The lion is kind. The rabbit is rough. If someone sees the lion then the lion is blue. Round people are green.
The cow sees the lion.
@0: The cat is blue.[(triple1)] The cow sees the lion.[(triple2)] The lion is kind.[(triple3)] The rabbit is rough.[(triple4)] @1: The lion is blue.[(((triple2) -> rule1))]