The bear is red. The cat eats the bear. The cow is young. If something visits the bear and the bear visits the cow then it sees the cat. If the cow is blue and the cow visits the cat then the cat eats the cow. If something is green and it visits the bear then it visits the cow. If something sees the cow then it is red. If something sees the cat and the cat is blue then it sees the bear. If the cow sees the cat then the cat is green. Red things are rough. If something sees the cow and it is young then the cow eats the bear.
The cow is young.
@0: The bear is red.[(triple1)] The cat eats the bear.[(triple2)] The cow is young.[(triple3)] @1: The bear is rough.[(((triple1) -> rule7))]