The bear is green. The bear likes the cat. The bear visits the squirrel. The cat likes the bear. The cat does not like the lion. The lion is round. The squirrel is not round. If the cat eats the squirrel and the squirrel is not rough then the cat does not eat the lion. If something visits the cat and it eats the squirrel then the squirrel eats the cat. If the bear likes the cat then the bear likes the squirrel.
The bear visits the squirrel.
@0: The bear is green.[(triple1)] The bear likes the cat.[(triple2)] The bear visits the squirrel.[(triple3)] The cat does not like the lion.[(triple5)] The cat likes the bear.[(triple4)] The lion is round.[(triple6)] The squirrel is not round.[(triple7)] @1: The bear likes the squirrel.[(((triple2) -> rule3))]