The lion is rough. The lion is round. The lion needs the mouse. The mouse chases the lion. The mouse chases the rabbit. The mouse is red. The mouse is rough. The mouse visits the rabbit. The rabbit is big. The rabbit is blue. The rabbit is rough. The rabbit needs the mouse. The rabbit visits the mouse. The squirrel chases the lion. The squirrel is round. If someone chases the lion then they chase the squirrel. If someone visits the squirrel and the squirrel needs the mouse then the mouse visits the lion. If someone needs the rabbit then the rabbit is blue. If someone chases the squirrel and they are rough then the squirrel chases the rabbit. If the mouse needs the squirrel and the squirrel is blue then the squirrel needs the mouse. If someone is big then they chase the lion. If someone is round and they chase the lion then the lion needs the squirrel. If someone visits the mouse and the mouse needs the lion then the mouse visits the squirrel.
The squirrel chases the rabbit.
@0: The lion is rough.[(triple1)] The lion is round.[(triple2)] The lion needs the mouse.[(triple3)] The mouse chases the lion.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse is red.[(triple6)] The mouse is rough.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit is big.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is rough.[(triple11)] The rabbit needs the mouse.[(triple12)] The rabbit visits the mouse.[(triple13)] The squirrel chases the lion.[(triple14)] The squirrel is round.[(triple15)] @1: The lion needs the squirrel.[(((triple15 triple14) -> rule7))] The mouse chases the squirrel.[(((triple4) -> rule1))] The rabbit chases the lion.[(((triple9) -> rule6))] The squirrel chases the squirrel.[(((triple14) -> rule1))] @2: The rabbit chases the squirrel.[(((((triple9) -> rule6)) -> rule1))] The squirrel chases the rabbit.[(((((triple4) -> rule1) triple7) -> rule4) OR ((((((triple9) -> rule6)) -> rule1) triple11) -> rule4))]