The bear is round. The bear likes the rabbit. The cat eats the bear. The cat is nice. The dog is round. The dog does not like the cat. The rabbit does not see the cat. If the cat likes the bear and the cat is round then the cat is not young. If something eats the rabbit and it likes the rabbit then it sees the bear. If something likes the rabbit then it sees the rabbit.
The bear is not round.
@0: The bear is round.[(triple1)] The bear likes the rabbit.[(triple2)] The cat eats the bear.[(triple3)] The cat is nice.[(triple4)] The dog does not like the cat.[(triple6)] The dog is round.[(triple5)] The rabbit does not see the cat.[(triple7)] @1: The bear sees the rabbit.[(((triple2) -> rule3))]