The bear chases the cat. The bear eats the cat. The bear is not kind. The bear is nice. The bear is round. The bear does not visit the cat. The cat chases the bear. The cat is big. The cat is not red. The cat visits the bear. If something eats the cat then the cat visits the bear. If something eats the cat then it is not kind. If something chases the cat then it visits the bear. If something is nice and it eats the cat then it does not visit the cat. If something eats the cat and the cat eats the bear then the cat is not kind. If something is nice then it eats the bear. If something visits the cat then it does not eat the cat. If the bear does not chase the cat then the cat is round.
The cat is round.
@0: The bear chases the cat.[(triple1)] The bear does not visit the cat.[(triple6 OR ((triple4 triple2) -> rule4))] The bear eats the cat.[(triple2)] The bear is nice.[(triple4)] The bear is not kind.[(triple3 OR ((triple2) -> rule2))] The bear is round.[(triple5)] The cat chases the bear.[(triple7)] The cat is big.[(triple8)] The cat is not red.[(triple9)] The cat visits the bear.[(triple10 OR ((triple2) -> rule1))] @1: The bear eats the bear.[(((triple4) -> rule6))] The bear visits the bear.[(((triple1) -> rule3))]