The bear chases the cat. The bear eats the cat. The bear is blue. The bear is cold. The bear does not like the cat. The cat chases the bear. The cat eats the bear. The cat is cold. The cat is kind. The cat is nice. The cat is young. The cat likes the bear. If someone is nice and they like the bear then the bear eats the cat.
The cat does not like the bear.
@0: The bear chases the cat.[(triple1)] The bear does not like the cat.[(triple5)] The bear eats the cat.[(triple2 OR ((triple10 triple12) -> rule1))] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The cat chases the bear.[(triple6)] The cat eats the bear.[(triple7)] The cat is cold.[(triple8)] The cat is kind.[(triple9)] The cat is nice.[(triple10)] The cat is young.[(triple11)] The cat likes the bear.[(triple12)]