The cat chases the squirrel. The cat is red. The cat is round. The cat likes the cow. The cow chases the dog. The cow chases the squirrel. The cow is kind. The cow likes the dog. The cow likes the squirrel. The cow needs the cat. The cow needs the dog. The dog chases the cat. The dog is kind. The dog likes the cat. The squirrel chases the cat. The squirrel is rough. If the squirrel needs the dog then the dog needs the squirrel. If something likes the dog and the dog is round then it chases the dog. If something likes the cow and it chases the dog then the cow likes the dog. If the squirrel is rough then the squirrel needs the cat. If something chases the squirrel then the squirrel needs the dog. If something needs the squirrel then it likes the cow.
The dog does not like the dog.
@0: The cat chases the squirrel.[(triple1)] The cat is red.[(triple2)] The cat is round.[(triple3)] The cat likes the cow.[(triple4)] The cow chases the dog.[(triple5)] The cow chases the squirrel.[(triple6)] The cow is kind.[(triple7)] The cow likes the dog.[(triple8)] The cow likes the squirrel.[(triple9)] The cow needs the cat.[(triple10)] The cow needs the dog.[(triple11)] The dog chases the cat.[(triple12)] The dog is kind.[(triple13)] The dog likes the cat.[(triple14)] The squirrel chases the cat.[(triple15)] The squirrel is rough.[(triple16)] @1: The squirrel needs the cat.[(((triple16) -> rule4))] The squirrel needs the dog.[(((triple1) -> rule5) OR ((triple6) -> rule5))] @2: The dog needs the squirrel.[(((((triple1) -> rule5)) -> rule1) OR ((((triple6) -> rule5)) -> rule1))] @3: The dog likes the cow.[(((((((triple1) -> rule5)) -> rule1)) -> rule6) OR ((((((triple6) -> rule5)) -> rule1)) -> rule6))]