The lion chases the mouse. The lion chases the rabbit. The lion is big. The lion is nice. The lion is round. The lion likes the mouse. The lion needs the mouse. The lion needs the rabbit. The mouse chases the rabbit. The mouse is blue. The mouse is round. The rabbit chases the mouse. The rabbit is blue. The rabbit likes the mouse. The rabbit needs the lion. If someone is round and they chase the mouse then they are blue.
The lion does not chase the rabbit.
@0: The lion chases the mouse.[(triple1)] The lion chases the rabbit.[(triple2)] The lion is big.[(triple3)] The lion is nice.[(triple4)] The lion is round.[(triple5)] The lion likes the mouse.[(triple6)] The lion needs the mouse.[(triple7)] The lion needs the rabbit.[(triple8)] The mouse chases the rabbit.[(triple9)] The mouse is blue.[(triple10)] The mouse is round.[(triple11)] The rabbit chases the mouse.[(triple12)] The rabbit is blue.[(triple13)] The rabbit likes the mouse.[(triple14)] The rabbit needs the lion.[(triple15)] @1: The lion is blue.[(((triple5 triple1) -> rule1))]