The bear chases the rabbit. The bear is kind. The bear does not like the cat. The bear sees the rabbit. The cat chases the bear. The cat is not red. The cat likes the bear. The cat does not like the rabbit. The cat sees the rabbit. The rabbit is kind. The rabbit is not red. The rabbit does not like the bear. The rabbit likes the cat. The rabbit sees the bear. The rabbit sees the cat. If someone is rough then they do not like the cat. If someone sees the bear and the bear does not like the cat then the cat is kind. If someone is kind then they are not red. If someone is rough and they chase the cat then they like the rabbit. If someone chases the cat and the cat is kind then the cat likes the rabbit. If someone is green and they see the cat then they chase the cat. If the rabbit is rough and the rabbit likes the bear then the rabbit sees the cat. If someone likes the rabbit and they do not chase the rabbit then the rabbit likes the bear.
The bear does not chase the cat.
@0: The bear chases the rabbit.[(triple1)] The bear does not like the cat.[(triple3)] The bear is kind.[(triple2)] The bear sees the rabbit.[(triple4)] The cat chases the bear.[(triple5)] The cat does not like the rabbit.[(triple8)] The cat is not red.[(triple6 OR ((((triple14 triple3) -> rule2)) -> rule3))] The cat likes the bear.[(triple7)] The cat sees the rabbit.[(triple9)] The rabbit does not like the bear.[(triple12)] The rabbit is kind.[(triple10)] The rabbit is not red.[(triple11 OR ((triple10) -> rule3))] The rabbit likes the cat.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit sees the cat.[(triple15)] @1: The bear is not red.[(((triple2) -> rule3))] The cat is kind.[(((triple14 triple3) -> rule2))]