The bear chases the cat. The bear is cold. The bear is green. The bear is nice. The bear is red. The bear is young. The bear likes the cat. The bear visits the cat. The cat chases the bear. The cat is cold. The cat is green. The cat is nice. The cat is red. The cat is young. The cat likes the bear. The cat visits the bear. If someone visits the bear and the bear is young then the bear is red. If the cat is green and the cat visits the bear then the bear likes the cat.
The cat does not chase the cat.
@0: The bear chases the cat.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5 OR ((triple16 triple6) -> rule1))] The bear is young.[(triple6)] The bear likes the cat.[(triple7 OR ((triple11 triple16) -> rule2))] The bear visits the cat.[(triple8)] The cat chases the bear.[(triple9)] The cat is cold.[(triple10)] The cat is green.[(triple11)] The cat is nice.[(triple12)] The cat is red.[(triple13)] The cat is young.[(triple14)] The cat likes the bear.[(triple15)] The cat visits the bear.[(triple16)]