The cow likes the lion. The cow likes the mouse. The cow does not need the tiger. The lion is cold. The mouse is not cold. The mouse is not green. The mouse is nice. The mouse does not like the cow. The mouse needs the cow. The mouse does not visit the tiger. The tiger is big. The tiger is nice. If something visits the mouse then the mouse needs the cow. Cold things are nice. If something needs the cow and it does not need the mouse then it likes the lion. If something likes the cow then it likes the lion. If something is big then it is cold. If something needs the cow and the cow visits the mouse then the mouse does not visit the lion. If something is nice then it does not need the tiger. If something visits the lion and it does not like the lion then the lion visits the cow.
The lion needs the tiger.
@0: The cow does not need the tiger.[(triple3)] The cow likes the lion.[(triple1)] The cow likes the mouse.[(triple2)] The lion is cold.[(triple4)] The mouse does not like the cow.[(triple8)] The mouse does not visit the tiger.[(triple10)] The mouse is nice.[(triple7)] The mouse is not cold.[(triple5)] The mouse is not green.[(triple6)] The mouse needs the cow.[(triple9)] The tiger is big.[(triple11)] The tiger is nice.[(triple12 OR ((((triple11) -> rule5)) -> rule2))] @1: The lion is nice.[(((triple4) -> rule2))] The mouse does not need the tiger.[(((triple7) -> rule7))] The tiger does not need the tiger.[(((triple12) -> rule7) OR ((((((triple11) -> rule5)) -> rule2)) -> rule7))] The tiger is cold.[(((triple11) -> rule5))] @2: The lion does not need the tiger.[(((((triple4) -> rule2)) -> rule7))]