The cat chases the mouse. The cat sees the mouse. The lion is rough. The mouse chases the cat. The mouse needs the lion. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit is young. The rabbit sees the cat. The rabbit sees the mouse. If someone needs the lion then they are round. If someone sees the rabbit and they chase the cat then they chase the lion. If the lion chases the mouse then the lion is rough. If someone needs the mouse and they chase the lion then the mouse is blue. If someone chases the rabbit then they are blue. If the rabbit chases the mouse then the rabbit is green. If someone needs the lion and they chase the cat then the lion chases the rabbit. If someone is young then they see the mouse.
The rabbit does not see the cat.
@0: The cat chases the mouse.[(triple1)] The cat sees the mouse.[(triple2)] The lion is rough.[(triple3)] The mouse chases the cat.[(triple4)] The mouse needs the lion.[(triple5)] The mouse needs the rabbit.[(triple6)] The mouse sees the rabbit.[(triple7)] The rabbit is young.[(triple8)] The rabbit sees the cat.[(triple9)] The rabbit sees the mouse.[(triple10 OR ((triple8) -> rule8))] @1: The lion chases the rabbit.[(((triple5 triple4) -> rule7))] The mouse chases the lion.[(((triple7 triple4) -> rule2))] The mouse is round.[(((triple5) -> rule1))] @2: The lion is blue.[(((((triple5 triple4) -> rule7)) -> rule5))]