The cow eats the lion. The cow is nice. The cow is not red. The cow sees the lion. The lion chases the mouse. The lion eats the rabbit. The lion is rough. The mouse is cold. The mouse is rough. The mouse sees the cow. The mouse sees the lion. The mouse sees the rabbit. The rabbit chases the lion. The rabbit eats the cow. The rabbit eats the mouse. The rabbit is nice. If the cow does not eat the mouse then the cow is red. If something sees the cow then the cow eats the lion. If something eats the rabbit then it is nice. If something sees the rabbit and the rabbit sees the mouse then the mouse does not eat the lion. If something chases the mouse then it eats the cow. If something is rough then it eats the rabbit. If something is nice then it chases the cow. If something sees the lion then the lion is nice.
The mouse is nice.
@0: The cow eats the lion.[(triple1 OR ((triple10) -> rule2))] The cow is nice.[(triple2)] The cow is not red.[(triple3)] The cow sees the lion.[(triple4)] The lion chases the mouse.[(triple5)] The lion eats the rabbit.[(triple6 OR ((triple7) -> rule6))] The lion is rough.[(triple7)] The mouse is cold.[(triple8)] The mouse is rough.[(triple9)] The mouse sees the cow.[(triple10)] The mouse sees the lion.[(triple11)] The mouse sees the rabbit.[(triple12)] The rabbit chases the lion.[(triple13)] The rabbit eats the cow.[(triple14)] The rabbit eats the mouse.[(triple15)] The rabbit is nice.[(triple16)] @1: The cow chases the cow.[(((triple2) -> rule7))] The lion eats the cow.[(((triple5) -> rule5))] The lion is nice.[(((triple11) -> rule8) OR ((triple4) -> rule8) OR ((triple6) -> rule3) OR ((((triple7) -> rule6)) -> rule3))] The mouse eats the rabbit.[(((triple9) -> rule6))] The rabbit chases the cow.[(((triple16) -> rule7))] @2: The lion chases the cow.[(((((triple11) -> rule8)) -> rule7) OR ((((triple4) -> rule8)) -> rule7) OR ((((triple6) -> rule3)) -> rule7) OR ((((((triple7) -> rule6)) -> rule3)) -> rule7))] The mouse is nice.[(((((triple9) -> rule6)) -> rule3))] @3: The mouse chases the cow.[(((((((triple9) -> rule6)) -> rule3)) -> rule7))]