The cow chases the lion. The cow is blue. The cow is nice. The lion does not chase the cow. The lion eats the cow. The lion is blue. The lion is not green. The lion is nice. The lion is red. The lion sees the cow. If something eats the cow then it is blue. If something sees the cow and it chases the lion then it is not blue. If something eats the lion then the lion is rough. All rough things are green. If something is rough and not green then it sees the lion. If the cow is nice and the cow does not see the lion then the lion chases the cow.
The cow is red.
@0: The cow chases the lion.[(triple1)] The cow is blue.[(triple2)] The cow is nice.[(triple3)] The lion does not chase the cow.[(triple4)] The lion eats the cow.[(triple5)] The lion is blue.[(triple6 OR ((triple5) -> rule1))] The lion is nice.[(triple8)] The lion is not green.[(triple7)] The lion is red.[(triple9)] The lion sees the cow.[(triple10)]