The cow eats the lion. The cow eats the rabbit. The cow is big. The cow is blue. The cow is green. The cow is nice. The cow visits the lion. The lion is blue. The lion likes the rabbit. The lion visits the cow. The rabbit eats the cow. The rabbit eats the lion. The rabbit is big. The rabbit is blue. The rabbit is nice. The rabbit visits the lion. If something visits the lion then it is blue. If the lion is green and the lion eats the cow then the lion likes the rabbit.
The cow is not big.
@0: The cow eats the lion.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is big.[(triple3)] The cow is blue.[(triple4 OR ((triple7) -> rule1))] The cow is green.[(triple5)] The cow is nice.[(triple6)] The cow visits the lion.[(triple7)] The lion is blue.[(triple8)] The lion likes the rabbit.[(triple9)] The lion visits the cow.[(triple10)] The rabbit eats the cow.[(triple11)] The rabbit eats the lion.[(triple12)] The rabbit is big.[(triple13)] The rabbit is blue.[(triple14 OR ((triple16) -> rule1))] The rabbit is nice.[(triple15)] The rabbit visits the lion.[(triple16)]