The cat chases the dog. The cat sees the dog. The dog is big. The lion chases the cat. The lion needs the cat. The lion needs the dog. The rabbit chases the cat. If the lion needs the rabbit then the rabbit sees the cat. If someone sees the dog and they need the dog then the dog needs the lion. If someone is blue and they see the rabbit then the rabbit is blue. If someone needs the lion and the lion chases the cat then they are rough. If someone sees the cat then they are big. If someone chases the dog then they need the dog. If someone is blue then they need the rabbit. If someone is cold and they chase the rabbit then they are blue.
The dog sees the dog.
@0: The cat chases the dog.[(triple1)] The cat sees the dog.[(triple2)] The dog is big.[(triple3)] The lion chases the cat.[(triple4)] The lion needs the cat.[(triple5)] The lion needs the dog.[(triple6)] The rabbit chases the cat.[(triple7)] @1: The cat needs the dog.[(((triple1) -> rule6))] @2: The dog needs the lion.[(((triple2 ((triple1) -> rule6)) -> rule2))] @3: The dog is rough.[(((((triple2 ((triple1) -> rule6)) -> rule2) triple4) -> rule4))]