The bear chases the cat. The bear eats the cat. The bear is big. The bear is cold. The bear is green. The bear is kind. The bear is round. The bear visits the cat. The cat chases the bear. The cat eats the bear. The cat is big. The cat is green. The cat is kind. The cat is round. The cat visits the bear. If someone eats the cat and the cat chases the bear then they visit the bear.
The bear eats the bear.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear is big.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is kind.[(triple6)] The bear is round.[(triple7)] The bear visits the cat.[(triple8)] The cat chases the bear.[(triple9)] The cat eats the bear.[(triple10)] The cat is big.[(triple11)] The cat is green.[(triple12)] The cat is kind.[(triple13)] The cat is round.[(triple14)] The cat visits the bear.[(triple15)] @1: The bear visits the bear.[(((triple2 triple9) -> rule1))]