The cow eats the lion. The cow is round. The cow sees the lion. The lion chases the cow. The lion eats the cow. The lion eats the squirrel. The lion is blue. The lion is round. The squirrel chases the cow. The squirrel chases the lion. The squirrel eats the cow. The squirrel sees the lion. If someone eats the cow then the cow sees the lion. If someone eats the squirrel then they chase the squirrel. If someone is green then they chase the cow. If someone sees the lion and the lion sees the squirrel then the lion chases the cow. If someone is round and they eat the cow then they chase the squirrel. If someone chases the squirrel and the squirrel eats the cow then the cow is green.
The cow does not chase the cow.
@0: The cow eats the lion.[(triple1)] The cow is round.[(triple2)] The cow sees the lion.[(triple3 OR ((triple11) -> rule1) OR ((triple5) -> rule1))] The lion chases the cow.[(triple4)] The lion eats the cow.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is blue.[(triple7)] The lion is round.[(triple8)] The squirrel chases the cow.[(triple9)] The squirrel chases the lion.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The lion chases the squirrel.[(((triple6) -> rule2) OR ((triple8 triple5) -> rule5))] @2: The cow is green.[(((((triple6) -> rule2) triple11) -> rule6) OR ((((triple8 triple5) -> rule5) triple11) -> rule6))] @3: The cow chases the cow.[(((((((triple6) -> rule2) triple11) -> rule6)) -> rule3) OR ((((((triple8 triple5) -> rule5) triple11) -> rule6)) -> rule3))]