The bear is young. The bear likes the cat. The bear likes the lion. The bear likes the tiger. The bear needs the lion. The bear needs the tiger. The bear visits the lion. The bear visits the tiger. The cat needs the tiger. The lion is young. The tiger is blue. The tiger likes the bear. The tiger likes the cat. The tiger visits the lion. If something likes the bear then it is rough. If something likes the bear and it visits the bear then the bear visits the cat. If something likes the bear and it visits the cat then it is rough. Big things are nice. If something is rough then it needs the bear. If something visits the tiger and it visits the cat then it is nice. If something likes the lion then the lion is young. If something is big then it is rough. If something is rough and it needs the bear then it visits the bear.
The bear does not like the bear.
@0: The bear is young.[(triple1)] The bear likes the cat.[(triple2)] The bear likes the lion.[(triple3)] The bear likes the tiger.[(triple4)] The bear needs the lion.[(triple5)] The bear needs the tiger.[(triple6)] The bear visits the lion.[(triple7)] The bear visits the tiger.[(triple8)] The cat needs the tiger.[(triple9)] The lion is young.[(triple10 OR ((triple3) -> rule7))] The tiger is blue.[(triple11)] The tiger likes the bear.[(triple12)] The tiger likes the cat.[(triple13)] The tiger visits the lion.[(triple14)] @1: The tiger is rough.[(((triple12) -> rule1))] @2: The tiger needs the bear.[(((((triple12) -> rule1)) -> rule5))] @3: The tiger visits the bear.[(((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule5)) -> rule9))] @4: The bear visits the cat.[(((triple12 ((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule5)) -> rule9)) -> rule2))] @5: The bear is nice.[(((triple8 ((triple12 ((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule5)) -> rule9)) -> rule2)) -> rule6))]