The bear eats the squirrel. The bear is young. The bear visits the rabbit. The cow eats the rabbit. The cow visits the rabbit. The cow visits the squirrel. The rabbit needs the cow. The rabbit visits the bear. The rabbit visits the squirrel. The squirrel is big. The squirrel is cold. The squirrel visits the bear. The squirrel visits the cow. The squirrel visits the rabbit. If something is young then it needs the squirrel. If something needs the bear and the bear needs the rabbit then the bear visits the cow. If the cow is big and the cow needs the rabbit then the cow is rough. If something visits the cow then it is rough. If something is rough then it eats the cow. If something visits the cow and it is rough then it needs the bear. If the squirrel needs the bear and the squirrel eats the cow then the squirrel is cold. If something needs the bear then the bear needs the rabbit.
The cow does not need the cow.
@0: The bear eats the squirrel.[(triple1)] The bear is young.[(triple2)] The bear visits the rabbit.[(triple3)] The cow eats the rabbit.[(triple4)] The cow visits the rabbit.[(triple5)] The cow visits the squirrel.[(triple6)] The rabbit needs the cow.[(triple7)] The rabbit visits the bear.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11 OR ((((triple13 ((triple13) -> rule4)) -> rule6) ((((triple13) -> rule4)) -> rule5)) -> rule7))] The squirrel visits the bear.[(triple12)] The squirrel visits the cow.[(triple13)] The squirrel visits the rabbit.[(triple14)] @1: The bear needs the squirrel.[(((triple2) -> rule1))] The squirrel is rough.[(((triple13) -> rule4))] @2: The squirrel eats the cow.[(((((triple13) -> rule4)) -> rule5))] The squirrel needs the bear.[(((triple13 ((triple13) -> rule4)) -> rule6))] @3: The bear needs the rabbit.[(((((triple13 ((triple13) -> rule4)) -> rule6)) -> rule8))] @4: The bear visits the cow.[(((((triple13 ((triple13) -> rule4)) -> rule6) ((((triple13 ((triple13) -> rule4)) -> rule6)) -> rule8)) -> rule2))] @5: The bear is rough.[(((((((triple13 ((triple13) -> rule4)) -> rule6) ((((triple13 ((triple13) -> rule4)) -> rule6)) -> rule8)) -> rule2)) -> rule4))] @6: The bear eats the cow.[(((((((((triple13 ((triple13) -> rule4)) -> rule6) ((((triple13 ((triple13) -> rule4)) -> rule6)) -> rule8)) -> rule2)) -> rule4)) -> rule5))] The bear needs the bear.[(((((((triple13 ((triple13) -> rule4)) -> rule6) ((((triple13 ((triple13) -> rule4)) -> rule6)) -> rule8)) -> rule2) ((((((triple13 ((triple13) -> rule4)) -> rule6) ((((triple13 ((triple13) -> rule4)) -> rule6)) -> rule8)) -> rule2)) -> rule4)) -> rule6))]