The bear needs the dog. The bear needs the rabbit. The dog is green. The dog is red. The dog does not like the bear. The dog likes the lion. The dog needs the bear. The dog needs the lion. The lion is big. The rabbit is not rough. The rabbit likes the dog. The rabbit needs the lion. If something needs the rabbit and the rabbit is rough then it is not big. If the lion likes the bear then the bear needs the rabbit. If something chases the bear then the bear needs the rabbit. If something is round then it likes the dog. If the lion is big and the lion likes the dog then the dog chases the rabbit. If something is big and it needs the lion then the lion likes the bear. If something is red and it does not like the bear then the bear is rough. Rough things are red.
The bear is not rough.
@0: The bear needs the dog.[(triple1)] The bear needs the rabbit.[(triple2)] The dog does not like the bear.[(triple5)] The dog is green.[(triple3)] The dog is red.[(triple4)] The dog likes the lion.[(triple6)] The dog needs the bear.[(triple7)] The dog needs the lion.[(triple8)] The lion is big.[(triple9)] The rabbit is not rough.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit needs the lion.[(triple12)] @1: The bear is rough.[(((triple4 triple5) -> rule7))] @2: The bear is red.[(((((triple4 triple5) -> rule7)) -> rule8))]