The bear chases the cat. The bear chases the cow. The bear is kind. The bear needs the cat. The bear needs the cow. The cat chases the bear. The cat is nice. The cat is young. The cat does not like the bear. The cat likes the cow. The cow chases the bear. The cow does not chase the cat. The cow is young. The cow likes the bear. The cow likes the cat. If someone needs the cow then the cow likes the cat. If someone is big then they do not need the bear. If the cat is green and the cat does not chase the bear then the bear needs the cat. If someone chases the bear then they need the cat. If someone likes the cat and they need the bear then they are kind. If someone needs the cat and the cat does not like the bear then the cat needs the cow. If someone needs the bear and the bear does not like the cow then the cow is big. If the bear does not chase the cat and the bear does not need the cat then the cat is kind.
The cat is not kind.
@0: The bear chases the cat.[(triple1)] The bear chases the cow.[(triple2)] The bear is kind.[(triple3)] The bear needs the cat.[(triple4)] The bear needs the cow.[(triple5)] The cat chases the bear.[(triple6)] The cat does not like the bear.[(triple9)] The cat is nice.[(triple7)] The cat is young.[(triple8)] The cat likes the cow.[(triple10)] The cow chases the bear.[(triple11)] The cow does not chase the cat.[(triple12)] The cow is young.[(triple13)] The cow likes the bear.[(triple14)] The cow likes the cat.[(triple15 OR ((triple5) -> rule1) OR ((((triple4 triple9) -> rule6)) -> rule1) OR ((((((triple11) -> rule4) triple9) -> rule6)) -> rule1) OR ((((((triple6) -> rule4) triple9) -> rule6)) -> rule1))] @1: The cat needs the cat.[(((triple6) -> rule4))] The cat needs the cow.[(((triple4 triple9) -> rule6) OR ((((triple11) -> rule4) triple9) -> rule6) OR ((((triple6) -> rule4) triple9) -> rule6))] The cow needs the cat.[(((triple11) -> rule4))]