The bear is blue. The bear is kind. The bear likes the mouse. The bear needs the mouse. The dog is nice. The dog is young. The dog likes the bear. The dog needs the bear. The mouse needs the rabbit. The mouse visits the bear. The mouse visits the dog. The rabbit is nice. The rabbit likes the bear. The rabbit likes the mouse. The rabbit needs the dog. If something needs the bear then the bear is round. If something is round and it likes the mouse then the mouse likes the rabbit.
The rabbit needs the dog.
@0: The bear is blue.[(triple1)] The bear is kind.[(triple2)] The bear likes the mouse.[(triple3)] The bear needs the mouse.[(triple4)] The dog is nice.[(triple5)] The dog is young.[(triple6)] The dog likes the bear.[(triple7)] The dog needs the bear.[(triple8)] The mouse needs the rabbit.[(triple9)] The mouse visits the bear.[(triple10)] The mouse visits the dog.[(triple11)] The rabbit is nice.[(triple12)] The rabbit likes the bear.[(triple13)] The rabbit likes the mouse.[(triple14)] The rabbit needs the dog.[(triple15)] @1: The bear is round.[(((triple8) -> rule1))] @2: The mouse likes the rabbit.[(((((triple8) -> rule1) triple3) -> rule2))]