The bear chases the cow. The bear chases the rabbit. The bear is red. The bear is rough. The bear is round. The bear likes the cow. The cow chases the rabbit. The cow is round. The cow likes the bear. The cow visits the rabbit. The rabbit chases the bear. The rabbit is big. The rabbit is green. The rabbit is rough. The rabbit likes the cow. The rabbit visits the bear. If someone visits the cow then they visit the rabbit. If someone is green and they visit the bear then they like the bear. If someone chases the cow and they chase the bear then the cow visits the bear. If the rabbit chases the cow and the cow chases the rabbit then the cow likes the rabbit. If someone is round and they like the bear then they are big. If someone likes the bear then they visit the cow.
The rabbit is red.
@0: The bear chases the cow.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)] The bear likes the cow.[(triple6)] The cow chases the rabbit.[(triple7)] The cow is round.[(triple8)] The cow likes the bear.[(triple9)] The cow visits the rabbit.[(triple10 OR ((((triple9) -> rule6)) -> rule1))] The rabbit chases the bear.[(triple11)] The rabbit is big.[(triple12)] The rabbit is green.[(triple13)] The rabbit is rough.[(triple14)] The rabbit likes the cow.[(triple15)] The rabbit visits the bear.[(triple16)] @1: The cow is big.[(((triple8 triple9) -> rule5))] The cow visits the cow.[(((triple9) -> rule6))] The rabbit likes the bear.[(((triple13 triple16) -> rule2))] @2: The rabbit visits the cow.[(((((triple13 triple16) -> rule2)) -> rule6))] @3: The rabbit visits the rabbit.[(((((((triple13 triple16) -> rule2)) -> rule6)) -> rule1))]