The bear chases the cat. The bear does not like the cow. The cat chases the bear. The cat chases the squirrel. The cat is young. The cat likes the bear. The cow chases the bear. The cow chases the cat. The cow does not like the bear. The squirrel sees the bear. If the cat is not red then the cat sees the bear. If someone sees the bear then they do not like the cat. If the cow chases the cat then the cow likes the cat. If the cat chases the cow then the cat is rough. If someone chases the cat and the cat likes the squirrel then the squirrel is green. If someone chases the cat and the cat chases the bear then the bear sees the cow. If the squirrel chases the cat then the squirrel is red. If the squirrel does not like the cat then the squirrel chases the cat.
The cow is red.
@0: The bear chases the cat.[(triple1)] The bear does not like the cow.[(triple2)] The cat chases the bear.[(triple3)] The cat chases the squirrel.[(triple4)] The cat is young.[(triple5)] The cat likes the bear.[(triple6)] The cow chases the bear.[(triple7)] The cow chases the cat.[(triple8)] The cow does not like the bear.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The bear sees the cow.[(((triple1 triple3) -> rule6) OR ((triple8 triple3) -> rule6) OR ((((((triple10) -> rule2)) -> rule8) triple3) -> rule6))] The cow likes the cat.[(((triple8) -> rule3))] The squirrel does not like the cat.[(((triple10) -> rule2))] @2: The squirrel chases the cat.[(((((triple10) -> rule2)) -> rule8))] @3: The squirrel is red.[(((((((triple10) -> rule2)) -> rule8)) -> rule7))]