The bear is big. The bear is kind. The bear is rough. The dog eats the mouse. The dog is big. The dog is kind. The dog is nice. The dog likes the bear. The dog likes the mouse. The dog needs the bear. The dog needs the mouse. The mouse eats the bear. The mouse is big. The mouse is nice. The mouse likes the dog. If the mouse is big and the mouse needs the dog then the mouse is kind. If something likes the dog then the dog likes the mouse. If something needs the mouse and it is red then it eats the bear. If the bear needs the mouse then the mouse is rough. If the dog needs the bear then the dog likes the bear. If something eats the mouse then it is red. If something is rough and big then it needs the mouse. If something likes the dog and it needs the bear then it needs the dog.
The bear likes the bear.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear is rough.[(triple3)] The dog eats the mouse.[(triple4)] The dog is big.[(triple5)] The dog is kind.[(triple6)] The dog is nice.[(triple7)] The dog likes the bear.[(triple8 OR ((triple10) -> rule5))] The dog likes the mouse.[(triple9 OR ((triple15) -> rule2))] The dog needs the bear.[(triple10)] The dog needs the mouse.[(triple11)] The mouse eats the bear.[(triple12)] The mouse is big.[(triple13)] The mouse is nice.[(triple14)] The mouse likes the dog.[(triple15)] @1: The bear needs the mouse.[(((triple3 triple1) -> rule7))] The dog is red.[(((triple4) -> rule6))] @2: The dog eats the bear.[(((triple11 ((triple4) -> rule6)) -> rule3))] The mouse is rough.[(((((triple3 triple1) -> rule7)) -> rule4))] @3: The mouse needs the mouse.[(((((((triple3 triple1) -> rule7)) -> rule4) triple13) -> rule7))]