The bear is big. The bear is young. The bear needs the lion. The cat eats the lion. The cat is young. The cat needs the bear. The cat needs the lion. The lion is blue. The lion needs the cat. The lion visits the bear. If something visits the bear then the bear visits the cat. If something is big and it visits the cat then it is nice.
The cat is nice.
@0: The bear is big.[(triple1)] The bear is young.[(triple2)] The bear needs the lion.[(triple3)] The cat eats the lion.[(triple4)] The cat is young.[(triple5)] The cat needs the bear.[(triple6)] The cat needs the lion.[(triple7)] The lion is blue.[(triple8)] The lion needs the cat.[(triple9)] The lion visits the bear.[(triple10)] @1: The bear visits the cat.[(((triple10) -> rule1))] @2: The bear is nice.[(((triple1 ((triple10) -> rule1)) -> rule2))]