The cat is nice. The lion is round. The mouse visits the cat. Nice things are red.
The cat is not nice.
@0: The cat is nice.[(triple1)] The lion is round.[(triple2)] The mouse visits the cat.[(triple3)] @1: The cat is red.[(((triple1) -> rule1))]