The bear does not chase the cat. The bear is big. The bear is not red. The bear needs the cat. The bear visits the cat. The cat is red. The cat is young. If something chases the bear and the bear visits the cat then the bear needs the cat. If the bear is big and the bear is round then the bear needs the cat. If something visits the bear and it is red then the bear is round. If something chases the cat and it needs the cat then it is not young. If something visits the cat and it needs the bear then the cat is round. If something chases the bear and it visits the bear then the bear does not visit the cat. If something chases the bear then it chases the cat. If something needs the cat then the cat visits the bear.
The cat is not round.
@0: The bear does not chase the cat.[(triple1)] The bear is big.[(triple2)] The bear is not red.[(triple3)] The bear needs the cat.[(triple4)] The bear visits the cat.[(triple5)] The cat is red.[(triple6)] The cat is young.[(triple7)] @1: The cat visits the bear.[(((triple4) -> rule8))] @2: The bear is round.[(((((triple4) -> rule8) triple6) -> rule3))]