The bear eats the dog. The bear is blue. The bear is rough. The dog needs the lion. The lion eats the dog. The lion is blue. The lion is nice. The lion is rough. The lion is round. The lion needs the bear. The lion needs the dog. The lion sees the dog. If someone is rough then they need the lion. If someone needs the lion then the lion needs the dog.
The lion is rough.
@0: The bear eats the dog.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The dog needs the lion.[(triple4)] The lion eats the dog.[(triple5)] The lion is blue.[(triple6)] The lion is nice.[(triple7)] The lion is rough.[(triple8)] The lion is round.[(triple9)] The lion needs the bear.[(triple10)] The lion needs the dog.[(triple11 OR ((triple4) -> rule2) OR ((((triple3) -> rule1)) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] The lion sees the dog.[(triple12)] @1: The bear needs the lion.[(((triple3) -> rule1))] The lion needs the lion.[(((triple8) -> rule1))]