The bear is big. The cow likes the bear. The lion does not chase the tiger. The lion is nice. The lion likes the bear. The lion likes the tiger. The tiger likes the bear. If someone needs the bear then the bear likes the tiger. If someone is rough then they need the bear. If the tiger likes the bear and the tiger is round then the bear chases the cow. If someone needs the tiger and they like the bear then they chase the lion. If the tiger chases the lion then the lion does not like the cow. If someone chases the tiger then the tiger likes the lion. If someone likes the tiger then they are rough. If someone likes the tiger and they chase the cow then they need the lion. If someone needs the bear then the bear likes the cow.
The bear does not need the bear.
@0: The bear is big.[(triple1)] The cow likes the bear.[(triple2)] The lion does not chase the tiger.[(triple3)] The lion is nice.[(triple4)] The lion likes the bear.[(triple5)] The lion likes the tiger.[(triple6)] The tiger likes the bear.[(triple7)] @1: The lion is rough.[(((triple6) -> rule7))] @2: The lion needs the bear.[(((((triple6) -> rule7)) -> rule2))] @3: The bear likes the cow.[(((((((triple6) -> rule7)) -> rule2)) -> rule9) OR ((((((((((((triple6) -> rule7)) -> rule2)) -> rule1)) -> rule7)) -> rule2)) -> rule9))] The bear likes the tiger.[(((((((triple6) -> rule7)) -> rule2)) -> rule1))] @4: The bear is rough.[(((((((((triple6) -> rule7)) -> rule2)) -> rule1)) -> rule7))] @5: The bear needs the bear.[(((((((((((triple6) -> rule7)) -> rule2)) -> rule1)) -> rule7)) -> rule2))]