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