The cow does not see the lion. The lion does not eat the cow. The lion eats the rabbit. The lion is not big. The lion is kind. The lion is rough. The lion sees the squirrel. The rabbit is not nice. The squirrel eats the lion. The squirrel is big. The squirrel is kind. The squirrel needs the lion. The squirrel sees the lion. The squirrel sees the rabbit. If someone needs the squirrel then they see the squirrel. If someone sees the lion and they see the squirrel then the squirrel eats the cow. If the cow sees the squirrel and the cow does not need the rabbit then the rabbit sees the lion. Rough people are nice. If someone needs the rabbit and the rabbit sees the squirrel then the squirrel does not need the lion. If someone is big and nice then they need the squirrel. If someone is kind then they are rough. Nice people are round.
The squirrel sees the lion.
@0: The cow does not see the lion.[(triple1)] The lion does not eat the cow.[(triple2)] The lion eats the rabbit.[(triple3)] The lion is kind.[(triple5)] The lion is not big.[(triple4)] The lion is rough.[(triple6 OR ((triple5) -> rule7))] The lion sees the squirrel.[(triple7)] The rabbit is not nice.[(triple8)] The squirrel eats the lion.[(triple9)] The squirrel is big.[(triple10)] The squirrel is kind.[(triple11)] The squirrel needs the lion.[(triple12)] The squirrel sees the lion.[(triple13)] The squirrel sees the rabbit.[(triple14)] @1: The lion is nice.[(((triple6) -> rule4) OR ((((triple5) -> rule7)) -> rule4))] The squirrel is rough.[(((triple11) -> rule7))] @2: The lion is round.[(((((triple6) -> rule4)) -> rule8) OR ((((((triple5) -> rule7)) -> rule4)) -> rule8))] The squirrel is nice.[(((((triple11) -> rule7)) -> rule4))] @3: The squirrel is round.[(((((((triple11) -> rule7)) -> rule4)) -> rule8))] The squirrel needs the squirrel.[(((triple10 ((((triple11) -> rule7)) -> rule4)) -> rule6))] @4: The squirrel sees the squirrel.[(((((triple10 ((((triple11) -> rule7)) -> rule4)) -> rule6)) -> rule1))] @5: The squirrel eats the cow.[(((triple13 ((((triple10 ((((triple11) -> rule7)) -> rule4)) -> rule6)) -> rule1)) -> rule2))]