The bear chases the rabbit. The bear visits the cow. The bear visits the rabbit. The cat does not chase the cow. The cat is nice. The cat likes the bear. The cow is not nice. The rabbit chases the bear. The rabbit is big. The rabbit likes the cow. The rabbit visits the bear. The rabbit does not visit the cow. If someone visits the bear then they are round. If someone is round and they visit the bear then they do not like the bear.
The cat is round.
@0: The bear chases the rabbit.[(triple1)] The bear visits the cow.[(triple2)] The bear visits the rabbit.[(triple3)] The cat does not chase the cow.[(triple4)] The cat is nice.[(triple5)] The cat likes the bear.[(triple6)] The cow is not nice.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit does not visit the cow.[(triple12)] The rabbit is big.[(triple9)] The rabbit likes the cow.[(triple10)] The rabbit visits the bear.[(triple11)] @1: The rabbit is round.[(((triple11) -> rule1))] @2: The rabbit does not like the bear.[(((((triple11) -> rule1) triple11) -> rule2))]