The cow chases the lion. The cow eats the lion. The cow is big. The cow is blue. The cow is rough. The lion chases the cow. The lion eats the cow. The lion eats the mouse. The lion is cold. The lion is rough. The mouse eats the lion. The mouse is blue. The mouse is rough. The mouse is young. The mouse visits the cow. If someone is cold then they visit the lion. If someone is cold and they eat the mouse then they visit the lion. If someone visits the cow and they eat the cow then they visit the mouse. If someone eats the mouse then they chase the lion. If someone visits the mouse then the mouse is big. If someone eats the mouse then they visit the cow. If someone chases the mouse then the mouse chases the cow. If the mouse chases the lion and the mouse eats the cow then the cow chases the lion.
The mouse is big.
@0: The cow chases the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow is big.[(triple3)] The cow is blue.[(triple4)] The cow is rough.[(triple5)] The lion chases the cow.[(triple6)] The lion eats the cow.[(triple7)] The lion eats the mouse.[(triple8)] The lion is cold.[(triple9)] The lion is rough.[(triple10)] The mouse eats the lion.[(triple11)] The mouse is blue.[(triple12)] The mouse is rough.[(triple13)] The mouse is young.[(triple14)] The mouse visits the cow.[(triple15)] @1: The lion chases the lion.[(((triple8) -> rule4))] The lion visits the cow.[(((triple8) -> rule6))] The lion visits the lion.[(((triple9) -> rule1) OR ((triple9 triple8) -> rule2))] @2: The lion visits the mouse.[(((((triple8) -> rule6) triple7) -> rule3))] @3: The mouse is big.[(((((((triple8) -> rule6) triple7) -> rule3)) -> rule5))]