The cat is nice. The cat needs the lion. The cat visits the lion. The cow is nice. The cow needs the cat. The lion is nice. The lion is red. The lion is young. The lion needs the cow. The lion needs the squirrel. The squirrel is young. If the cow needs the lion then the lion visits the squirrel. If something needs the squirrel then it visits the cat. If something needs the cow and it chases the squirrel then the cow is rough. If something chases the squirrel and it is young then the squirrel needs the cat. If something visits the cow then it is rough. If the squirrel visits the cat and the cat is red then the squirrel chases the cow. All nice things are big. If something is big then it visits the squirrel. If something visits the cat and the cat visits the squirrel then the squirrel is nice.
The squirrel is nice.
@0: The cat is nice.[(triple1)] The cat needs the lion.[(triple2)] The cat visits the lion.[(triple3)] The cow is nice.[(triple4)] The cow needs the cat.[(triple5)] The lion is nice.[(triple6)] The lion is red.[(triple7)] The lion is young.[(triple8)] The lion needs the cow.[(triple9)] The lion needs the squirrel.[(triple10)] The squirrel is young.[(triple11)] @1: The cat is big.[(((triple1) -> rule7))] The cow is big.[(((triple4) -> rule7))] The lion is big.[(((triple6) -> rule7))] The lion visits the cat.[(((triple10) -> rule2))] @2: The cat visits the squirrel.[(((((triple1) -> rule7)) -> rule8))] The cow visits the squirrel.[(((((triple4) -> rule7)) -> rule8))] The lion visits the squirrel.[(((((triple6) -> rule7)) -> rule8))] @3: The squirrel is nice.[(((((triple10) -> rule2) ((((triple1) -> rule7)) -> rule8)) -> rule9))] @4: The squirrel is big.[(((((((triple10) -> rule2) ((((triple1) -> rule7)) -> rule8)) -> rule9)) -> rule7))] @5: The squirrel visits the squirrel.[(((((((((triple10) -> rule2) ((((triple1) -> rule7)) -> rule8)) -> rule9)) -> rule7)) -> rule8))]