The bald eagle visits the dog. The dog is big. The mouse eats the dog. Big things are red.
The dog is not red.
@0: The bald eagle visits the dog.[(triple1)] The dog is big.[(triple2)] The mouse eats the dog.[(triple3)] @1: The dog is red.[(((triple2) -> rule1))]