The cat chases the lion. The cat is rough. The cat is round. The cat is young. The cat needs the lion. The cat sees the lion. The cat sees the mouse. The lion needs the cat. The mouse is red. The mouse needs the cat. If someone is round and they need the mouse then the mouse needs the lion. If someone needs the lion then the lion chases the cat.
The lion is rough.
@0: The cat chases the lion.[(triple1)] The cat is rough.[(triple2)] The cat is round.[(triple3)] The cat is young.[(triple4)] The cat needs the lion.[(triple5)] The cat sees the lion.[(triple6)] The cat sees the mouse.[(triple7)] The lion needs the cat.[(triple8)] The mouse is red.[(triple9)] The mouse needs the cat.[(triple10)] @1: The lion chases the cat.[(((triple5) -> rule2))]