The cat chases the cow. The cat chases the lion. The cat chases the mouse. The cat eats the mouse. The cat visits the lion. The cow chases the cat. The cow is green. The lion chases the cow. The lion eats the cow. The lion eats the mouse. The lion visits the cat. The mouse eats the cow. The mouse is rough. The mouse is round. If something is cold then it visits the mouse. If something is round and it eats the mouse then the mouse chases the cow. If something visits the lion then it is big. If the mouse chases the cat and the mouse chases the lion then the mouse visits the cat. If something is cold and it chases the cat then it eats the cow. If something eats the lion and the lion eats the cow then the lion is cold. If something is cold and it visits the mouse then the mouse eats the lion. Big things are cold.
The mouse does not eat the lion.
@0: The cat chases the cow.[(triple1)] The cat chases the lion.[(triple2)] The cat chases the mouse.[(triple3)] The cat eats the mouse.[(triple4)] The cat visits the lion.[(triple5)] The cow chases the cat.[(triple6)] The cow is green.[(triple7)] The lion chases the cow.[(triple8)] The lion eats the cow.[(triple9)] The lion eats the mouse.[(triple10)] The lion visits the cat.[(triple11)] The mouse eats the cow.[(triple12)] The mouse is rough.[(triple13)] The mouse is round.[(triple14)] @1: The cat is big.[(((triple5) -> rule3))] @2: The cat is cold.[(((((triple5) -> rule3)) -> rule8))] @3: The cat visits the mouse.[(((((((triple5) -> rule3)) -> rule8)) -> rule1))] @4: The mouse eats the lion.[(((((((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3)) -> rule8)) -> rule1)) -> rule7))] @5: The lion is cold.[(((((((((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3)) -> rule8)) -> rule1)) -> rule7) triple9) -> rule6))] @6: The lion visits the mouse.[(((((((((((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3)) -> rule8)) -> rule1)) -> rule7) triple9) -> rule6)) -> rule1))]