The bear eats the dog. The bear eats the mouse. The bear is not nice. The bear is round. The bear is young. The bear likes the mouse. The dog eats the bear. The dog eats the mouse. The dog is nice. The dog is round. The mouse likes the bear. The mouse sees the dog. If something is young and not nice then it eats the dog. If the bear does not like the mouse then the mouse is rough.
The mouse is not rough.
@0: The bear eats the dog.[(triple1 OR ((triple5 triple3) -> rule1))] The bear eats the mouse.[(triple2)] The bear is not nice.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear likes the mouse.[(triple6)] The dog eats the bear.[(triple7)] The dog eats the mouse.[(triple8)] The dog is nice.[(triple9)] The dog is round.[(triple10)] The mouse likes the bear.[(triple11)] The mouse sees the dog.[(triple12)]