The cow chases the mouse. The cow likes the mouse. The cow likes the rabbit. The cow likes the squirrel. The cow sees the mouse. The cow sees the squirrel. The mouse likes the cow. The mouse likes the rabbit. The rabbit chases the squirrel. The rabbit sees the cow. The squirrel chases the rabbit. The squirrel is kind. The squirrel likes the rabbit. The squirrel sees the cow. If someone likes the cow and the cow sees the rabbit then the cow is kind. If someone sees the rabbit and they like the cow then the cow is cold. If someone is red then they like the cow. If someone chases the rabbit then they are rough. If someone likes the squirrel then they are red. If someone likes the cow and they like the squirrel then the cow is kind. If someone is kind then they chase the rabbit. If someone likes the rabbit and the rabbit is rough then the rabbit chases the squirrel. If someone sees the cow then they chase the squirrel.
The mouse likes the cow.
@0: The cow chases the mouse.[(triple1)] The cow likes the mouse.[(triple2)] The cow likes the rabbit.[(triple3)] The cow likes the squirrel.[(triple4)] The cow sees the mouse.[(triple5)] The cow sees the squirrel.[(triple6)] The mouse likes the cow.[(triple7)] The mouse likes the rabbit.[(triple8)] The rabbit chases the squirrel.[(triple9 OR ((triple10) -> rule9))] The rabbit sees the cow.[(triple10)] The squirrel chases the rabbit.[(triple11 OR ((triple12) -> rule7))] The squirrel is kind.[(triple12)] The squirrel likes the rabbit.[(triple13)] The squirrel sees the cow.[(triple14)] @1: The cow is red.[(((triple4) -> rule5))] The squirrel chases the squirrel.[(((triple14) -> rule9))] The squirrel is rough.[(((triple11) -> rule4) OR ((((triple12) -> rule7)) -> rule4))] @2: The cow likes the cow.[(((((triple4) -> rule5)) -> rule3))] @3: The cow is kind.[(((((((triple4) -> rule5)) -> rule3) triple4) -> rule6))] @4: The cow chases the rabbit.[(((((((((triple4) -> rule5)) -> rule3) triple4) -> rule6)) -> rule7))] @5: The cow is rough.[(((((((((((triple4) -> rule5)) -> rule3) triple4) -> rule6)) -> rule7)) -> rule4))]