The bear is blue. The cat likes the dog. The dog likes the cat. The rabbit sees the cat. If the dog chases the cat and the cat sees the rabbit then the cat chases the bear. If something likes the dog then the dog is cold.
The cat likes the dog.
@0: The bear is blue.[(triple1)] The cat likes the dog.[(triple2)] The dog likes the cat.[(triple3)] The rabbit sees the cat.[(triple4)] @1: The dog is cold.[(((triple2) -> rule2))]