The bear chases the tiger. The bear needs the tiger. The cat chases the tiger. The cat is rough. The lion is kind. The lion sees the bear. The tiger chases the lion. If someone chases the bear then they need the lion. If someone chases the lion and the lion needs the cat then they chase the bear. If someone needs the tiger then the tiger sees the cat. If someone needs the cat then they see the cat. If the tiger is green then the tiger needs the cat. If someone needs the cat and the cat sees the lion then they are blue. If the tiger sees the cat then the cat chases the bear. If someone needs the lion and they chase the tiger then the lion needs the tiger. If someone needs the lion and the lion needs the tiger then the lion chases the cat.
The bear needs the cat.
@0: The bear chases the tiger.[(triple1)] The bear needs the tiger.[(triple2)] The cat chases the tiger.[(triple3)] The cat is rough.[(triple4)] The lion is kind.[(triple5)] The lion sees the bear.[(triple6)] The tiger chases the lion.[(triple7)] @1: The tiger sees the cat.[(((triple2) -> rule3))] @2: The cat chases the bear.[(((((triple2) -> rule3)) -> rule7))] @3: The cat needs the lion.[(((((((triple2) -> rule3)) -> rule7)) -> rule1))] @4: The lion needs the tiger.[(((((((((triple2) -> rule3)) -> rule7)) -> rule1) triple3) -> rule8))] @5: The lion chases the cat.[(((((((((triple2) -> rule3)) -> rule7)) -> rule1) ((((((((triple2) -> rule3)) -> rule7)) -> rule1) triple3) -> rule8)) -> rule9))]