The dog needs the squirrel. The lion chases the squirrel. The lion is nice. The lion is young. The lion needs the dog. The lion visits the mouse. The lion visits the squirrel. The mouse chases the dog. The mouse is big. The mouse needs the squirrel. The mouse visits the dog. The squirrel chases the lion. The squirrel is big. The squirrel needs the dog. The squirrel visits the mouse. If someone visits the lion then the lion is rough. If someone needs the dog then the dog visits the lion. If someone visits the mouse then they need the squirrel. If someone is rough and young then they are big. If the squirrel needs the mouse and the squirrel visits the dog then the mouse is young. If someone chases the squirrel and the squirrel needs the lion then the lion needs the squirrel.
The lion is rough.
@0: The dog needs the squirrel.[(triple1)] The lion chases the squirrel.[(triple2)] The lion is nice.[(triple3)] The lion is young.[(triple4)] The lion needs the dog.[(triple5)] The lion visits the mouse.[(triple6)] The lion visits the squirrel.[(triple7)] The mouse chases the dog.[(triple8)] The mouse is big.[(triple9)] The mouse needs the squirrel.[(triple10)] The mouse visits the dog.[(triple11)] The squirrel chases the lion.[(triple12)] The squirrel is big.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel visits the mouse.[(triple15)] @1: The dog visits the lion.[(((triple14) -> rule2) OR ((triple5) -> rule2))] The lion needs the squirrel.[(((triple6) -> rule3))] The squirrel needs the squirrel.[(((triple15) -> rule3))] @2: The lion is rough.[(((((triple14) -> rule2)) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] @3: The lion is big.[(((((((triple14) -> rule2)) -> rule1) triple4) -> rule4) OR ((((((triple5) -> rule2)) -> rule1) triple4) -> rule4))]