The cow chases the squirrel. The lion chases the squirrel. The lion eats the squirrel. The lion does not eat the tiger. The lion does not need the squirrel. The squirrel chases the lion. The squirrel eats the lion. The tiger chases the squirrel. The tiger eats the lion. The tiger eats the squirrel. The tiger is cold. The tiger needs the squirrel. If something is green and rough then it chases the tiger. If something chases the squirrel then it is cold. If something eats the cow and it is green then it is not round. If something is cold and it eats the cow then the cow is green. If something is green then it eats the cow. If the tiger is cold then the tiger is green. If something eats the squirrel then the squirrel is green. If the cow needs the squirrel and the cow is not green then the squirrel does not need the tiger.
The lion does not eat the cow.
@0: The cow chases the squirrel.[(triple1)] The lion chases the squirrel.[(triple2)] The lion does not eat the tiger.[(triple4)] The lion does not need the squirrel.[(triple5)] The lion eats the squirrel.[(triple3)] The squirrel chases the lion.[(triple6)] The squirrel eats the lion.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger eats the lion.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger is cold.[(triple11 OR ((triple8) -> rule2))] The tiger needs the squirrel.[(triple12)] @1: The cow is cold.[(((triple1) -> rule2))] The lion is cold.[(((triple2) -> rule2))] The squirrel is green.[(((triple10) -> rule7) OR ((triple3) -> rule7))] The tiger is green.[(((triple11) -> rule6) OR ((((triple8) -> rule2)) -> rule6))] @2: The squirrel eats the cow.[(((((triple10) -> rule7)) -> rule5) OR ((((triple3) -> rule7)) -> rule5))] The tiger eats the cow.[(((((triple11) -> rule6)) -> rule5) OR ((((((triple8) -> rule2)) -> rule6)) -> rule5))] @3: The cow is green.[(((triple11 ((((triple11) -> rule6)) -> rule5)) -> rule4) OR ((((triple8) -> rule2) ((((triple11) -> rule6)) -> rule5)) -> rule4) OR ((triple11 ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4) OR ((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4))] The squirrel is not round.[(((((((triple10) -> rule7)) -> rule5) ((triple10) -> rule7)) -> rule3) OR ((((((triple10) -> rule7)) -> rule5) ((triple3) -> rule7)) -> rule3) OR ((((((triple3) -> rule7)) -> rule5) ((triple10) -> rule7)) -> rule3) OR ((((((triple3) -> rule7)) -> rule5) ((triple3) -> rule7)) -> rule3))] The tiger is not round.[(((((((triple11) -> rule6)) -> rule5) ((triple11) -> rule6)) -> rule3) OR ((((((triple11) -> rule6)) -> rule5) ((((triple8) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple8) -> rule2)) -> rule6)) -> rule5) ((triple11) -> rule6)) -> rule3) OR ((((((((triple8) -> rule2)) -> rule6)) -> rule5) ((((triple8) -> rule2)) -> rule6)) -> rule3))] @4: The cow eats the cow.[(((((triple11 ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule5) OR ((((((triple8) -> rule2) ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule5) OR ((((triple11 ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule5) OR ((((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule5))] @5: The cow is not round.[(((((((triple11 ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((triple11 ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((triple11 ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((triple11 ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((triple11 ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((((triple8) -> rule2) ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple8) -> rule2) ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((triple11 ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((triple11 ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple8) -> rule2) ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((triple11 ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple8) -> rule2) ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((((triple8) -> rule2) ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple8) -> rule2) ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((triple11 ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((triple11 ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((triple11 ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((triple11 ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((triple11 ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((((triple8) -> rule2) ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((triple11 ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((triple11 ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((triple11 ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((((triple8) -> rule2) ((((triple11) -> rule6)) -> rule5)) -> rule4)) -> rule3) OR ((((((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule5) ((((triple8) -> rule2) ((((((triple8) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule3))]