The cat chases the cow. The cat is rough. The cat likes the cow. The cow chases the cat. The cow is kind. The cow is nice. The cow likes the cat. If something sees the cat and it likes the cat then the cat chases the cow. All nice things are cold. If something likes the cow and it sees the cow then it likes the cat.
The cow sees the cat.
@0: The cat chases the cow.[(triple1)] The cat is rough.[(triple2)] The cat likes the cow.[(triple3)] The cow chases the cat.[(triple4)] The cow is kind.[(triple5)] The cow is nice.[(triple6)] The cow likes the cat.[(triple7)] @1: The cow is cold.[(((triple6) -> rule2))]