The cat is blue. The cow is round. The mouse needs the cat. If something is blue then it is rough. If something chases the cat and it likes the cat then the cat needs the cow.
The mouse is rough.
@0: The cat is blue.[(triple1)] The cow is round.[(triple2)] The mouse needs the cat.[(triple3)] @1: The cat is rough.[(((triple1) -> rule1))]