The cow eats the lion. The cow eats the mouse. The cow is green. The cow visits the lion. The cow visits the mouse. The lion eats the cow. The lion eats the rabbit. The lion is big. The lion is green. The lion is round. The mouse eats the lion. The mouse is big. The mouse visits the cow. The rabbit is round. The rabbit needs the cow. The rabbit visits the lion. If someone eats the lion and the lion is green then they are blue. If someone visits the cow and they eat the rabbit then the rabbit is cold. If someone needs the mouse and the mouse needs the rabbit then the mouse needs the cow. If someone visits the cow and they are big then the cow visits the mouse. If someone is green and they need the rabbit then they eat the rabbit. If someone is blue then they eat the rabbit. All cold people are blue. If someone visits the cow then the cow is green. If someone eats the lion then they are cold.
The cow does not eat the mouse.
@0: The cow eats the lion.[(triple1)] The cow eats the mouse.[(triple2)] The cow is green.[(triple3 OR ((triple13) -> rule8))] The cow visits the lion.[(triple4)] The cow visits the mouse.[(triple5 OR ((triple13 triple12) -> rule4))] The lion eats the cow.[(triple6)] The lion eats the rabbit.[(triple7)] The lion is big.[(triple8)] The lion is green.[(triple9)] The lion is round.[(triple10)] The mouse eats the lion.[(triple11)] The mouse is big.[(triple12)] The mouse visits the cow.[(triple13)] The rabbit is round.[(triple14)] The rabbit needs the cow.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The cow is blue.[(((triple1 triple9) -> rule1) OR ((((triple1) -> rule9)) -> rule7))] The cow is cold.[(((triple1) -> rule9))] The mouse is blue.[(((triple11 triple9) -> rule1) OR ((((triple11) -> rule9)) -> rule7))] The mouse is cold.[(((triple11) -> rule9))] @2: The cow eats the rabbit.[(((((triple1 triple9) -> rule1)) -> rule6) OR ((((((triple1) -> rule9)) -> rule7)) -> rule6))] The mouse eats the rabbit.[(((((triple11 triple9) -> rule1)) -> rule6) OR ((((((triple11) -> rule9)) -> rule7)) -> rule6))] @3: The rabbit is cold.[(((triple13 ((((triple11 triple9) -> rule1)) -> rule6)) -> rule2) OR ((triple13 ((((((triple11) -> rule9)) -> rule7)) -> rule6)) -> rule2))] @4: The rabbit is blue.[(((((triple13 ((((triple11 triple9) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((triple13 ((((((triple11) -> rule9)) -> rule7)) -> rule6)) -> rule2)) -> rule7))] @5: The rabbit eats the rabbit.[(((((((triple13 ((((triple11 triple9) -> rule1)) -> rule6)) -> rule2)) -> rule7)) -> rule6) OR ((((((triple13 ((((((triple11) -> rule9)) -> rule7)) -> rule6)) -> rule2)) -> rule7)) -> rule6))]