The bear chases the cat. The bear eats the cat. The bear is cold. The bear is green. The bear is not kind. The bear is rough. The bear is young. The bear visits the cat. The cat chases the bear. The cat does not eat the bear. The cat is cold. The cat is not green. The cat is rough. The cat is young. The cat visits the bear. If something eats the bear then it does not visit the bear. If something eats the cat and the cat does not chase the bear then it visits the bear. If the cat visits the bear and the bear eats the cat then the bear visits the cat. If something is young then it chases the cat. If something visits the cat and the cat chases the bear then it eats the bear. If something visits the bear and it is not rough then it visits the cat.
The cat does not chase the cat.
@0: The bear chases the cat.[(triple1 OR ((triple7) -> rule4))] The bear eats the cat.[(triple2)] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is not kind.[(triple5)] The bear is rough.[(triple6)] The bear is young.[(triple7)] The bear visits the cat.[(triple8 OR ((triple15 triple2) -> rule3))] The cat chases the bear.[(triple9)] The cat does not eat the bear.[(triple10)] The cat is cold.[(triple11)] The cat is not green.[(triple12)] The cat is rough.[(triple13)] The cat is young.[(triple14)] The cat visits the bear.[(triple15)] @1: The bear eats the bear.[(((triple8 triple9) -> rule5) OR ((((triple15 triple2) -> rule3) triple9) -> rule5))] The cat chases the cat.[(((triple14) -> rule4))] @2: The bear does not visit the bear.[(((((triple8 triple9) -> rule5)) -> rule1) OR ((((((triple15 triple2) -> rule3) triple9) -> rule5)) -> rule1))]