The bear eats the rabbit. The cow is green. The cow visits the bear. The cow visits the rabbit. The rabbit eats the bear. The rabbit is round. The rabbit visits the cow. If something eats the bear and it does not like the bear then the bear is big. If something likes the bear and it does not visit the cow then it likes the rabbit. If something visits the cow and the cow likes the rabbit then the cow eats the rabbit. If something visits the cow and the cow does not visit the bear then the bear visits the rabbit. If the cow is green and the cow visits the rabbit then the cow is red. If something eats the rabbit and it is not big then the rabbit visits the bear.
The bear is not big.
@0: The bear eats the rabbit.[(triple1)] The cow is green.[(triple2)] The cow visits the bear.[(triple3)] The cow visits the rabbit.[(triple4)] The rabbit eats the bear.[(triple5)] The rabbit is round.[(triple6)] The rabbit visits the cow.[(triple7)] @1: The cow is red.[(((triple2 triple4) -> rule5))]