The bear eats the cat. The bear eats the dog. The bear likes the dog. The cat eats the dog. The cat likes the dog. The cat needs the dog. The dog eats the bear. The dog eats the mouse. The dog is round. The dog is young. The dog likes the bear. The dog likes the mouse. The mouse eats the bear. The mouse eats the dog. The mouse is red. The mouse needs the bear. If someone is young then they eat the bear. If someone is young and they like the cat then they like the mouse.
The bear likes the cat.
@0: The bear eats the cat.[(triple1)] The bear eats the dog.[(triple2)] The bear likes the dog.[(triple3)] The cat eats the dog.[(triple4)] The cat likes the dog.[(triple5)] The cat needs the dog.[(triple6)] The dog eats the bear.[(triple7 OR ((triple10) -> rule1))] The dog eats the mouse.[(triple8)] The dog is round.[(triple9)] The dog is young.[(triple10)] The dog likes the bear.[(triple11)] The dog likes the mouse.[(triple12)] The mouse eats the bear.[(triple13)] The mouse eats the dog.[(triple14)] The mouse is red.[(triple15)] The mouse needs the bear.[(triple16)]