The cow needs the squirrel. The cow sees the squirrel. The squirrel eats the cow. The squirrel is green. The squirrel needs the tiger. The squirrel sees the cow. The tiger eats the squirrel. The tiger is green. The tiger is round. The tiger sees the squirrel. If something sees the cow then it eats the cow. If something sees the squirrel and it is green then the squirrel eats the tiger. If something sees the squirrel then it eats the tiger. If something eats the tiger then the tiger sees the cow. If something eats the tiger then it sees the cow. If something needs the tiger then the tiger is big.
The tiger does not eat the cow.
@0: The cow needs the squirrel.[(triple1)] The cow sees the squirrel.[(triple2)] The squirrel eats the cow.[(triple3 OR ((triple6) -> rule1) OR ((((((triple10 triple8) -> rule2)) -> rule5)) -> rule1))] The squirrel is green.[(triple4)] The squirrel needs the tiger.[(triple5)] The squirrel sees the cow.[(triple6 OR ((((triple10 triple8) -> rule2)) -> rule5))] The tiger eats the squirrel.[(triple7)] The tiger is green.[(triple8)] The tiger is round.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The cow eats the tiger.[(((triple2) -> rule3))] The squirrel eats the tiger.[(((triple10 triple8) -> rule2))] The tiger eats the tiger.[(((triple10) -> rule3))] The tiger is big.[(((triple5) -> rule6))] @2: The cow sees the cow.[(((((triple2) -> rule3)) -> rule5))] The tiger sees the cow.[(((((triple10) -> rule3)) -> rule4) OR ((((triple10) -> rule3)) -> rule5) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple10 triple8) -> rule2)) -> rule4))] @3: The cow eats the cow.[(((((((triple2) -> rule3)) -> rule5)) -> rule1))] The tiger eats the cow.[(((((((triple10) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10) -> rule3)) -> rule5)) -> rule1) OR ((((((triple2) -> rule3)) -> rule4)) -> rule1) OR ((((((triple10 triple8) -> rule2)) -> rule4)) -> rule1))]