The cat is round. The cow eats the cat. If someone is rough then they see the cat. If someone eats the cow and the cow sees the cat then they do not chase the cat. If someone eats the cat then the cat is rough. If someone is cold then they do not see the cow. If someone is kind then they see the cow. If someone eats the cat and they see the cow then the cow eats the cat.
The cow eats the cow.
@0: The cat is round.[(triple1)] The cow eats the cat.[(triple2)] @1: The cat is rough.[(((triple2) -> rule3))] @2: The cat sees the cat.[(((((triple2) -> rule3)) -> rule1))]