The cow eats the squirrel. The cow is big. The cow is green. The cow needs the squirrel. The cow visits the squirrel. The squirrel eats the cow. The squirrel is green. The squirrel is young. The squirrel needs the cow. The squirrel visits the cow. If something is cold then it visits the cow. If something visits the squirrel then it eats the squirrel. If something needs the squirrel and it needs the cow then the squirrel needs the cow. If something needs the cow and the cow eats the squirrel then the cow visits the squirrel. If something visits the squirrel then it needs the squirrel. If something needs the squirrel then it eats the squirrel. If something needs the squirrel then the squirrel needs the cow. If the squirrel visits the cow and the squirrel needs the cow then the cow needs the squirrel.
The squirrel is cold.
@0: The cow eats the squirrel.[(triple1 OR ((triple4) -> rule6) OR ((triple5) -> rule2) OR ((((triple5) -> rule5)) -> rule6) OR ((((triple10 triple9) -> rule8)) -> rule6))] The cow is big.[(triple2)] The cow is green.[(triple3)] The cow needs the squirrel.[(triple4 OR ((triple5) -> rule5) OR ((triple10 triple9) -> rule8) OR ((((triple9 triple1) -> rule4)) -> rule5))] The cow visits the squirrel.[(triple5 OR ((triple9 triple1) -> rule4) OR ((triple9 ((triple4) -> rule6)) -> rule4) OR ((((triple4) -> rule7) triple1) -> rule4) OR ((((triple4) -> rule7) ((triple4) -> rule6)) -> rule4) OR ((triple9 ((((triple10 triple9) -> rule8)) -> rule6)) -> rule4) OR ((((triple4) -> rule7) ((((triple10 triple9) -> rule8)) -> rule6)) -> rule4))] The squirrel eats the cow.[(triple6)] The squirrel is green.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the cow.[(triple9 OR ((triple4) -> rule7) OR ((((triple5) -> rule5)) -> rule7))] The squirrel visits the cow.[(triple10)]