The cow chases the lion. The cow chases the mouse. The cow eats the lion. The cow eats the mouse. The cow is cold. The cow is round. The cow visits the lion. The lion chases the cow. The lion chases the mouse. The lion eats the cow. The lion does not eat the mouse. The lion visits the mouse. The mouse does not chase the lion. The mouse is blue. The mouse is nice. If someone eats the cow then the cow eats the lion. If someone chases the cow and the cow chases the lion then they are blue. If someone is blue then they chase the mouse. If someone visits the cow and the cow eats the mouse then the mouse is cold. If someone visits the mouse and the mouse is blue then they chase the lion. If the lion eats the mouse then the mouse chases the lion.
The mouse is not blue.
@0: The cow chases the lion.[(triple1)] The cow chases the mouse.[(triple2)] The cow eats the lion.[(triple3 OR ((triple10) -> rule1))] The cow eats the mouse.[(triple4)] The cow is cold.[(triple5)] The cow is round.[(triple6)] The cow visits the lion.[(triple7)] The lion chases the cow.[(triple8)] The lion chases the mouse.[(triple9 OR ((((triple8 triple1) -> rule2)) -> rule3))] The lion does not eat the mouse.[(triple11)] The lion eats the cow.[(triple10)] The lion visits the mouse.[(triple12)] The mouse does not chase the lion.[(triple13)] The mouse is blue.[(triple14)] The mouse is nice.[(triple15)] @1: The lion chases the lion.[(((triple12 triple14) -> rule5))] The lion is blue.[(((triple8 triple1) -> rule2))] The mouse chases the mouse.[(((triple14) -> rule3))]