The bear needs the squirrel. The bear needs the tiger. The cat visits the bear. The cat visits the squirrel. The squirrel is young. The squirrel sees the cat. The tiger is kind. The tiger is nice. The tiger needs the bear. The tiger sees the bear. If someone is young then they need the cat. If someone is kind and they visit the cat then they are big. If someone is big and young then they are nice. If someone is nice then they visit the cat. If someone visits the bear then they are young. If someone visits the squirrel and the squirrel sees the cat then the cat needs the bear. If someone needs the squirrel and the squirrel needs the bear then they need the bear. If someone is nice and they need the tiger then they are young.
The tiger visits the squirrel.
@0: The bear needs the squirrel.[(triple1)] The bear needs the tiger.[(triple2)] The cat visits the bear.[(triple3)] The cat visits the squirrel.[(triple4)] The squirrel is young.[(triple5)] The squirrel sees the cat.[(triple6)] The tiger is kind.[(triple7)] The tiger is nice.[(triple8)] The tiger needs the bear.[(triple9)] The tiger sees the bear.[(triple10)] @1: The cat is young.[(((triple3) -> rule5))] The cat needs the bear.[(((triple4 triple6) -> rule6))] The squirrel needs the cat.[(((triple5) -> rule1))] The tiger visits the cat.[(((triple8) -> rule4))] @2: The cat needs the cat.[(((((triple3) -> rule5)) -> rule1))] The tiger is big.[(((triple7 ((triple8) -> rule4)) -> rule2))]