The bear is kind. The bear is round. The bear likes the cat. The bear needs the mouse. The bear visits the cat. The cat likes the bear. The cat likes the mouse. The cat needs the bear. The cat visits the mouse. The mouse is green. The mouse is kind. The mouse is rough. The mouse likes the cat. The mouse needs the cat. The mouse visits the bear. If someone needs the bear then they are rough. If the bear is big and the bear likes the cat then the cat needs the bear.
The mouse is rough.
@0: The bear is kind.[(triple1)] The bear is round.[(triple2)] The bear likes the cat.[(triple3)] The bear needs the mouse.[(triple4)] The bear visits the cat.[(triple5)] The cat likes the bear.[(triple6)] The cat likes the mouse.[(triple7)] The cat needs the bear.[(triple8)] The cat visits the mouse.[(triple9)] The mouse is green.[(triple10)] The mouse is kind.[(triple11)] The mouse is rough.[(triple12)] The mouse likes the cat.[(triple13)] The mouse needs the cat.[(triple14)] The mouse visits the bear.[(triple15)] @1: The cat is rough.[(((triple8) -> rule1))]