The bear chases the cat. The bear is big. The bear is not green. The bear is rough. The bear does not visit the cat. The cat chases the bear. The cat is kind. The cat is rough. The cat needs the bear. The cat visits the bear. If something is big then it chases the bear. Green things are not kind. If something is big and not red then it is kind. All green things are rough. If something visits the cat then it is rough. If the bear needs the cat and the cat does not need the bear then the cat does not visit the bear. If the bear visits the cat and the cat is big then the bear is green. If something chases the bear then it needs the cat.
The cat is not kind.
@0: The bear chases the cat.[(triple1)] The bear does not visit the cat.[(triple5)] The bear is big.[(triple2)] The bear is not green.[(triple3)] The bear is rough.[(triple4)] The cat chases the bear.[(triple6)] The cat is kind.[(triple7)] The cat is rough.[(triple8)] The cat needs the bear.[(triple9)] The cat visits the bear.[(triple10)] @1: The bear chases the bear.[(((triple2) -> rule1))] The cat needs the cat.[(((triple6) -> rule8))] @2: The bear needs the cat.[(((((triple2) -> rule1)) -> rule8))]