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