The cow chases the rabbit. The cow is big. The cow is blue. The cow likes the lion. The cow sees the lion. The cow sees the rabbit. The lion chases the cow. The lion is not big. The lion is not young. The lion does not like the cow. The lion sees the rabbit. The rabbit chases the cow. The rabbit is red. The rabbit likes the cow. The rabbit likes the lion. If something is red and it does not chase the cow then the cow does not chase the lion. If something likes the cow and it is not blue then it is red. If something is blue and big then it likes the lion. If the rabbit is green and the rabbit is red then the rabbit likes the lion. If something chases the lion and it is red then it chases the rabbit. If something is big and red then it likes the cow. If something likes the lion then the lion is not big. If something likes the lion and it does not like the cow then the lion sees the rabbit.
The cow is blue.
@0: The cow chases the rabbit.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow likes the lion.[(triple4 OR ((triple3 triple2) -> rule3))] The cow sees the lion.[(triple5)] The cow sees the rabbit.[(triple6)] The lion chases the cow.[(triple7)] The lion does not like the cow.[(triple10)] The lion is not big.[(triple8 OR ((triple15) -> rule7) OR ((triple4) -> rule7) OR ((((triple3 triple2) -> rule3)) -> rule7))] The lion is not young.[(triple9)] The lion sees the rabbit.[(triple11)] The rabbit chases the cow.[(triple12)] The rabbit is red.[(triple13)] The rabbit likes the cow.[(triple14)] The rabbit likes the lion.[(triple15)]