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