The bear eats the cat. The bear is kind. The bear likes the mouse. The bear visits the cat. The bear visits the mouse. The cat is big. The cat is kind. The cat likes the bear. The cat does not like the mouse. The cat visits the bear. The cat visits the mouse. The mouse does not eat the bear. The mouse is nice. The mouse is not red. The mouse visits the bear. If someone visits the mouse then the mouse eats the cat. If someone likes the bear then they eat the bear. If someone is rough and not red then they do not like the mouse.
The bear does not eat the bear.
@0: The bear eats the cat.[(triple1)] The bear is kind.[(triple2)] The bear likes the mouse.[(triple3)] The bear visits the cat.[(triple4)] The bear visits the mouse.[(triple5)] The cat does not like the mouse.[(triple9)] The cat is big.[(triple6)] The cat is kind.[(triple7)] The cat likes the bear.[(triple8)] The cat visits the bear.[(triple10)] The cat visits the mouse.[(triple11)] The mouse does not eat the bear.[(triple12)] The mouse is nice.[(triple13)] The mouse is not red.[(triple14)] The mouse visits the bear.[(triple15)] @1: The cat eats the bear.[(((triple8) -> rule2))] The mouse eats the cat.[(((triple11) -> rule1) OR ((triple5) -> rule1))]