The bear is kind. The bear is rough. The bear visits the cow. The cat eats the bear. The cat eats the cow. The cat is big. The cat is young. The cow eats the bear. The cow eats the cat. The cow is kind. The cow is red. The cow is rough. The cow sees the cat. The cow visits the bear. The cow visits the cat. If something is big then it sees the bear. If something visits the cow and it is big then the cow visits the cat. If the cat is kind then the cat sees the cow.
The cow is young.
@0: The bear is kind.[(triple1)] The bear is rough.[(triple2)] The bear visits the cow.[(triple3)] The cat eats the bear.[(triple4)] The cat eats the cow.[(triple5)] The cat is big.[(triple6)] The cat is young.[(triple7)] The cow eats the bear.[(triple8)] The cow eats the cat.[(triple9)] The cow is kind.[(triple10)] The cow is red.[(triple11)] The cow is rough.[(triple12)] The cow sees the cat.[(triple13)] The cow visits the bear.[(triple14)] The cow visits the cat.[(triple15)] @1: The cat sees the bear.[(((triple6) -> rule1))]