The cow visits the lion. The lion is kind. The lion visits the cow. The rabbit eats the squirrel. The rabbit is kind. The rabbit is round. The rabbit visits the lion. The squirrel is big. The squirrel is green. The squirrel is round. If something needs the lion then it eats the squirrel. If something eats the cow and the cow visits the rabbit then the cow needs the rabbit. If something eats the squirrel and it is big then the squirrel visits the lion. If something needs the squirrel then it is big. If something needs the cow then it is nice. If something eats the lion and it eats the squirrel then it is green. If something is round and nice then it needs the squirrel. If something eats the squirrel then it is nice.
The squirrel is not green.
@0: The cow visits the lion.[(triple1)] The lion is kind.[(triple2)] The lion visits the cow.[(triple3)] The rabbit eats the squirrel.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is round.[(triple6)] The rabbit visits the lion.[(triple7)] The squirrel is big.[(triple8)] The squirrel is green.[(triple9)] The squirrel is round.[(triple10)] @1: The rabbit is nice.[(((triple4) -> rule8))] @2: The rabbit needs the squirrel.[(((triple6 ((triple4) -> rule8)) -> rule7))] @3: The rabbit is big.[(((((triple6 ((triple4) -> rule8)) -> rule7)) -> rule4))] @4: The squirrel visits the lion.[(((triple4 ((((triple6 ((triple4) -> rule8)) -> rule7)) -> rule4)) -> rule3))]