The cat chases the mouse. The cat is rough. The cow eats the lion. The cow eats the mouse. The cow is not blue. The cow likes the cat. The cow likes the lion. The lion chases the cat. The lion chases the cow. The lion chases the mouse. The mouse eats the cow. The mouse eats the lion. If someone likes the lion and the lion is not nice then the lion eats the cat. If the lion likes the cow and the lion does not like the mouse then the mouse likes the cat. If someone eats the mouse then the mouse likes the cat. If someone is cold and they chase the cow then they chase the cat. If someone chases the lion and they eat the cow then the lion likes the cat. If someone chases the mouse then the mouse chases the lion. If the lion likes the cat then the cat is nice. If someone is nice and they do not chase the cat then they eat the cat.
The mouse does not like the cat.
@0: The cat chases the mouse.[(triple1)] The cat is rough.[(triple2)] The cow eats the lion.[(triple3)] The cow eats the mouse.[(triple4)] The cow is not blue.[(triple5)] The cow likes the cat.[(triple6)] The cow likes the lion.[(triple7)] The lion chases the cat.[(triple8)] The lion chases the cow.[(triple9)] The lion chases the mouse.[(triple10)] The mouse eats the cow.[(triple11)] The mouse eats the lion.[(triple12)] @1: The mouse chases the lion.[(((triple1) -> rule6) OR ((triple10) -> rule6))] The mouse likes the cat.[(((triple4) -> rule3))] @2: The lion likes the cat.[(((((triple1) -> rule6) triple11) -> rule5) OR ((((triple10) -> rule6) triple11) -> rule5))] @3: The cat is nice.[(((((((triple1) -> rule6) triple11) -> rule5)) -> rule7) OR ((((((triple10) -> rule6) triple11) -> rule5)) -> rule7))]