The bear chases the cow. The bear eats the cow. The bear is young. The cow is red. The cow is round. The cow visits the squirrel. The rabbit is round. The rabbit visits the bear. The squirrel eats the cow. The squirrel visits the rabbit. If someone visits the squirrel and the squirrel chases the cow then the cow is round. If someone is big and red then they chase the rabbit. If someone visits the rabbit then the rabbit visits the bear. If the squirrel chases the cow and the cow is round then the cow is young. If someone chases the squirrel then the squirrel eats the rabbit. If someone eats the cow and the cow eats the rabbit then the cow chases the rabbit. If someone chases the rabbit then the rabbit is red. All red people are big. If someone eats the bear then they chase the cow.
The cow chases the cow.
@0: The bear chases the cow.[(triple1)] The bear eats the cow.[(triple2)] The bear is young.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow visits the squirrel.[(triple6)] The rabbit is round.[(triple7)] The rabbit visits the bear.[(triple8 OR ((triple10) -> rule3))] The squirrel eats the cow.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The cow is big.[(((triple4) -> rule8))] @2: The cow chases the rabbit.[(((((triple4) -> rule8) triple4) -> rule2))] @3: The rabbit is red.[(((((((triple4) -> rule8) triple4) -> rule2)) -> rule7))] @4: The rabbit is big.[(((((((((triple4) -> rule8) triple4) -> rule2)) -> rule7)) -> rule8))] @5: The rabbit chases the rabbit.[(((((((((((triple4) -> rule8) triple4) -> rule2)) -> rule7)) -> rule8) ((((((triple4) -> rule8) triple4) -> rule2)) -> rule7)) -> rule2))]